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