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

CSE 663: ADVANCED TOPICS IN KNOWLEDGE REPRESENTATION & REASONING Fall 2006

Directory of Documents

• HOMEWORK ASSIGNMENTS

• C.V.A. PROGRAMMING PROJECT

1. Course Summary

2. What Is Knowledge Representation and Reasoning?
   • General Resources for Knowledge Representation and Reasoning

   • Introduction to KR&R

   • A Fundamental Problem in KRR

   • Brooks: Intelligence without Representation or Reasoning

3. Logic & Automated Theorem Proving

4. Ontology
   • Blocks-World Ontology

5. Semantic Networks
   • The SNePS KRRA System
     • How to Run SNePS
     • How to Use the Unix "script" Program
     • Shapiro, Stuart C., & Kandefer, Michael (2005), "A SNePS Approach to the Wumpus World Agent, or Cassie Meets the Wumpus", in Leora Morgenstern & Maurice Pagnucco (eds.), {\it IJCAI-05 Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'05): Working Notes (Edinburgh: IJCAII): 96-103.

6. Production Systems

7. Frames

8. Description Logics

9. Inheritance Networks

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

11. Modal Logic