Xumin Nie

12 papers A 1C 2Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2000 J jnl
Renaming a Set of Non-Horn Clauses.
J. Comput. Sci. Technol.
Xumin Nie, Qing Guo
1998 J jnl
Extending STL with efficient data structures.
J. Comput. Sci. Technol.
Hong Wu, Xumin Nie
1997 J jnl
Non-Horn Clause Logic Programming.
Artif. Intell.
Xumin Nie
1997 C conf
Renaming a Set of Non-Horn Clauses.
ISMIS
Xumin Nie, Qing Guo
1994 J jnl
An Overview of the Tecton Proof System.
Theor. Comput. Sci.
Deepak Kapur, Xumin Nie, David R. Musser
1992 J jnl
A Semantic Backward Chaining Proof System.
Artif. Intell.
Xumin Nie, David A. Plaisted
1992 — conf
The Tecton Proof System.
Formal Methods in Databases and Software Engineering
Deepak Kapur, David R. Musser, Xumin Nie
1991 C conf
How Well Are Non-Horn Clauses Handled?
ISMIS
Xumin Nie
1991 — conf
The Tecton Proof System.
RTA
Raj Agarwal, David R. Musser, Deepak Kapur, Xumin Nie
1990 A conf
A Complete Semantic Back Chaining Proof System.
CADE
Xumin Nie, David A. Plaisted
1990 J jnl
Experimental Results on Subgoal Reordering.
IEEE Trans. Computers
Xumin Nie, David A. Plaisted
1989 J jnl
Refinements to Depth-First Iterative-Deepening Search in Automatic Theorem Proving.
Artif. Intell.
Xumin Nie, David A. Plaisted