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

UB CSE 4/563 Resources

CSE 4/563: Knowledge Representation
Stuart C. Shapiro
Spring, 2006
On-Line Resources

Prolog

To run the prover:
1. Run Lisp
2. Load /projects/shapiro/AIclass/prover
3. Try (prover:prove <list of assumption wffs> <wff to be proven>)
4. Change package to prover
For instructions, see /projects/shapiro/AIclass/prover.cl

Mark E. Stickel, SNARK - SRI's New Automated Reasoning Kit
Mark E. Stickel, Richard J. Waldinger, & Vinay K. Chaudhri A Guide to SNARK
To run SNARK on UB CSE Department computers:
Run Common Lisp
load /projects/shapiro/CSE563/snark

SNePS

SNePS 2.6.1 User's Manual
SNePS Tutorial HTML version PS version PDF version DVI version
SNePS Demonstrations
Screen Shot
SNePS Research Group Home Page
To load the latest version of SNePS, run Common Lisp,
and then load /projects/shapiro/Sneps/sneps262
SNePS 2.6.2 Release Notes
To run the Fevahr demo:
1. cd /projects/robot/Fevahr/Java/
2. Run SNePS
3. (sneps)
4. (intext "jfevahr.sneps")
5. (demo "../demo.sneps")
6. ^end
7. (World:destroyWorld)
8. (excl:exit)

Wang Algorithm (Semantic Tableaux)

GSAT

Run Lisp
Load /projects/shapiro/CSE563/gsat
Change package to gsat
Try any of
- (gsat wffs tries flips)
- (gsat wffs tries flips :trace t)
- (ask wff KB tries flips)
- (ask wff KB tries flips :trace t)

Last modified: Fri Apr 14 10:32:34 EDT 2006
Stuart C. Shapiro <shapiro@cse.buffalo.edu>