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

Directory of Documents

CSE 663: Last Update: 31 January 2013

Note: NEW or UPDATED material is highlighted

UB Information Technology Services for Students...
  • ...is a list of links to services provided by
    UB Information Technology,
    including such topics as:
    • Your UBIT Account
    • Getting Started
    • Email & News
    • Internet Access
    • Computing Labs
    • Computer Hardware & Software
    • Training, Support, & Documentation
    • Online Resources


Note: A username and password may be required for some online papers. Please contact Bill Rapaport.


COURSE MANAGEMENT SECTION
  1. Information about Lisp
  2. HOMEWORK ASSIGNMENTS


DOCUMENTS

  1. Course Summary

  2. What Is Knowledge Representation and Reasoning?

  3. Contextual Vocabulary Acquisition Project:

  4. Logic & Automated Theorem Proving

  5. Modal Logic

  6. Ontology

  7. Semantic Networks

  8. Production Systems

  9. Frames

  10. Description Logics

  11. Inheritance Networks

  12. Belief Revision and Default, Defeasible, and Non-Monotonic Reasoning UPDATED

  13. Situation Calculus & Frame Problem



Text copyright © 2008–2012 by William J. Rapaport (rapaport@buffalo.edu)
Cartoon links and screen-captures appear here for your enjoyment.
They are not meant to infringe on any copyrights held by the creators.
For more information on any cartoon, click on it, or contact me.

http://www.cse.buffalo.edu/~rapaport/663/F08/directory.html-20120723