Knowledge representation and reasoning


  • course's webpage
  • SAT links
  • SATO
  • Prolog references
  • Lisp references in caltech
  • Lisp in Upenn
  • Lisp in Umass
  • Lisp in waterloo
  • Propositional logic(ps)
  • Predicate logic(ps)
  • More logics and more and more..
  • The Logical Foundations of Computer Science and Mathematics
  • Lisp.org

    This page was updated Aug.,2001
    Contact me at: yuana@cs.toronto.edu