The Department of Computer Science & Engineering
cse@buffalo
CSE 663:
ADVANCED TOPICS IN
KNOWLEDGE
REPRESENTATION
& REASONING
Fall 2006

Directory of Documents

CSE 663: Last Update: 6 December 2006

Note: NEW or UPDATED material is highlighted

CIT Services for Students...
  • ...is a list of links to services provided by
    Computing and Information Technology,
    including such topics as:
    • Getting Started
    • Email & News
    • Internet Access
    • Computing Labs (e.g., where they are; how to print)
    • Hardware & Software (including TechTools and Unix)
    • Training, Support, & Documentation


  1. NEW Course Summary

  2. What Is Knowledge Representation and Reasoning?

  3. Logic & Automated Theorem Proving

  4. Ontology

  5. Semantic Networks

  6. Production Systems

  7. Frames

  8. Description Logics

  9. Inheritance Networks

  10. Belief Revision and Default, Defeasible, and Non-Monotonic Reasoning

  11. Modal Logic



Copyright © 2006 by William J. Rapaport (rapaport@cse.buffalo.edu)
file: 663/F06/directory-20061206.html