Search the dblp DataBase

Publications of Author

1. Xumin Nie, David A. Plaisted
   A Complete Semantic Back Chaining Proof System. [Citation Graph (0, 0)][DBLP]
   CADE, 1990, pp:16-27 [Conf]
   
2. Deepak Kapur, David R. Musser, Xumin Nie
   The Tecton Proof System. [Citation Graph (0, 0)][DBLP]
   Formal Methods in Databases and Software Engineering, 1992, pp:54-79 [Conf]
   
3. Xumin Nie
   How Well Are Non-Horn Clauses Handled? [Citation Graph (0, 0)][DBLP]
   ISMIS, 1991, pp:580-588 [Conf]
   
4. Xumin Nie, Qing Guo
   Renaming a Set of Non-Horn Clauses. [Citation Graph (0, 0)][DBLP]
   ISMIS, 1997, pp:600-608 [Conf]
   
5. Raj Agarwal, David R. Musser, Deepak Kapur, Xumin Nie
   The Tecton Proof System. [Citation Graph (0, 0)][DBLP]
   RTA, 1991, pp:442-444 [Conf]
   
6. Xumin Nie
   Non-Horn Clause Logic Programming. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1997, v:92, n:1-2, pp:243-258 [Journal]
   
7. Xumin Nie, David A. Plaisted
   Refinements to Depth-First Iterative-Deepening Search in Automatic Theorem Proving. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1989, v:41, n:2, pp:223-235 [Journal]
   
8. Xumin Nie, David A. Plaisted
   A Semantic Backward Chaining Proof System. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1992, v:55, n:1, pp:109-128 [Journal]
   
9. Xumin Nie, Qing Guo
   Renaming a Set of Non-Horn Clauses. [Citation Graph (0, 0)][DBLP]
   J. Comput. Sci. Technol., 2000, v:15, n:5, pp:409-415 [Journal]
   
10. Xumin Nie, David A. Plaisted
    Experimental Results on Subgoal Reordering. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1990, v:39, n:6, pp:845-848 [Journal]
    
11. Deepak Kapur, Xumin Nie, David R. Musser
    An Overview of the Tecton Proof System. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:133, n:2, pp:307-339 [Journal]