Xumin Nie

Publication Activity (10 Years)

Years Active: 1989-2000
Publications (10 Years): 0

Publications

Xumin Nie, Qing Guo
Renaming a Set of Non-Horn Clauses. J. Comput. Sci. Technol. 15 (5) (2000)
Hong Wu, Xumin Nie
Extending STL with efficient data structures. J. Comput. Sci. Technol. 13 (4) (1998)
Xumin Nie
Non-Horn Clause Logic Programming. Artif. Intell. 92 (1-2) (1997)
Xumin Nie, Qing Guo
Renaming a Set of Non-Horn Clauses. ISMIS (1997)
Deepak Kapur, Xumin Nie, David R. Musser
An Overview of the Tecton Proof System. Theor. Comput. Sci. 133 (2) (1994)
Xumin Nie, David A. Plaisted
A Semantic Backward Chaining Proof System. Artif. Intell. 55 (1) (1992)
Deepak Kapur, David R. Musser, Xumin Nie
The Tecton Proof System. Formal Methods in Databases and Software Engineering (1992)
Xumin Nie
How Well Are Non-Horn Clauses Handled? ISMIS (1991)
Raj Agarwal, David R. Musser, Deepak Kapur, Xumin Nie
The Tecton Proof System. RTA (1991)
Xumin Nie, David A. Plaisted
A Complete Semantic Back Chaining Proof System. CADE (1990)
Xumin Nie, David A. Plaisted
Experimental Results on Subgoal Reordering. IEEE Trans. Computers 39 (6) (1990)
Xumin Nie, David A. Plaisted
Refinements to Depth-First Iterative-Deepening Search in Automatic Theorem Proving. Artif. Intell. 41 (2) (1989)