UNIVERSITY AT BUFFALO, THE STATE UNIVERSITY OF NEW YORK
The Department of Computer Science & Engineering

Software from S. C. Shapiro

SNePS, a knowledge representation, reasoning and acting system. See the SNePS Research Group home page.

---

ubprover, ANSI Common Lisp source of a pedagogical resolution refutation theorem prover using the set-oriented connectives discussed in

Stuart C. Shapiro, Set-Oriented Logical Connectives: Syntax and Semantics, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR2010), AAAI Press, 2010.

is available for downloading under the University at Buffalo Public License. Documentation is in comments at the beginning of the file.

Version 2010.2, posted 13 April 2010.

---

Last modified: Tue Apr 13 15:56:50 2010
Stuart C. Shapiro <shapiro@buffalo.edu>