Xumin Nie (nie-x)

Contributions to Philosophie.ch

Bibliography

Nie, Xumin. 1997. “Non-Horn Clause Logic Programming.” Artificial Intelligence 92(1–2): 243–258.
Nie, Xumin and Plaisted, David A. 1989. “Refinements to Depth-First Iterative-Deepening Search in Automatic Theorem Proving.” Artificial Intelligence 41(2): 223–235.
Nie, Xumin and Plaisted, David A. 1992. “A Semantic Backward Chaining Proof System.” Artificial Intelligence 55(1): 109–128.