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

FOUNDATIONS OF LOGIC AND INFERENCE

• Stuart C. Shapiro, Propositional, First-Order And Higher-Order Logics: Basic Definitions, Rules of Inference, Examples. In Lucja Iwanska & Stuart C. Shapiro, Eds., Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language, AAAI Press/The MIT Press, Menlo Park, CA, forthcoming.
  This is based on the Tutorial and the FISI course shown below.

• Slightly edited version of the slides shown at Tutorial SA1, given at the 14th International Joint Conference on Artificial Intelligence, August 20, 1995, and included in the Course Notes handed out there.
  This presentation was based on the FISI course, the notes of which are given below.
  (Note: If your version of ghostview, like mine, shows this upside down, use the Orientation menu to turn it over.)

• Partial course notes from the course, Reasoning in Artificial Intelligence, given at the First International Summer Institute on Cognitive Science (FISI), Buffalo, NY, July, 1994.

• Common Lisp code for the Wang Algorithm as presented in this course.

• Common Lisp code for the Resolution Theorem Prover presented in this course.

---

Stuart C. Shapiro <shapiro@cs.buffalo.edu>