Xumin Nie

According to our database, Xumin Nie authored at least 11 papers between 1989 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Renaming a Set of Non-Horn Clauses.

Xumin Nie, Qing Guo

J. Comput. Sci. Technol., 2000

1998

Extending STL with efficient data structures.

Hong Wu, Xumin Nie

J. Comput. Sci. Technol., 1998

1997

Non-Horn Clause Logic Programming.

Xumin Nie

Artif. Intell., 1997

1994

An Overview of the Tecton Proof System.

Deepak Kapur, Xumin Nie, David R. Musser

Theor. Comput. Sci., 1994

1992

A Semantic Backward Chaining Proof System.

Xumin Nie, David A. Plaisted

Artif. Intell., 1992

The Tecton Proof System.

Deepak Kapur, David R. Musser, Xumin Nie

Proceedings of the Formal Methods in Databases and Software Engineering, 1992

1991

The Tecton Proof System.

Raj Agarwal, David R. Musser, Deepak Kapur, Xumin Nie

Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

How Well Are Non-Horn Clauses Handled?

Xumin Nie

Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

1990

Experimental Results on Subgoal Reordering.

Xumin Nie, David A. Plaisted

IEEE Trans. Computers, 1990

A Complete Semantic Back Chaining Proof System.

Xumin Nie, David A. Plaisted

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

Refinements to Depth-First Iterative-Deepening Search in Automatic Theorem Proving.

Xumin Nie, David A. Plaisted

Artif. Intell., 1989