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

CSE 676: KNOWLEDGE REPRESENTATION: Directory of Documents

Back to homepage for CSE 676 Back to syllabus for CSE 676 (the syllabus was originally handed out Aug 27, but will be continually updated; changes will be announced in lecture and/or in the newsgroup) Go to: newsgroup archive Go to: CSE 676 newsgroup How to Study

NEW MATERIAL

1. Course Summary

1. Course Management:
   • Term project
   • Homework
2. General Issues in KR
3. Default Reasoning & the Frame Problem
4. Frames
5. Logic
6. Modal & Epistemic Logic
7. Semantic Networks
8. Situation Calculus and the Frame Problem
9. SNePS