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

CSE 4/563: KRR Directory of Documents

Back to homepage for CSE 4/563 Back to syllabus for CSE 4/563 (the syllabus was originally handed out Jan 13, but will be continually updated; changes will be announced in class and/or in the newsgroup) Go to: newsgroup archive Go to: newsgroup How to Study How to Write CIT Services for Students A list of links to services provided by Computing and Information Technology.

Last Update: 28 April 2003, 3:50 p.m. Note: or material is highlighted

• HOMEWORKS

• PROJECTS

1. Information about Final Exam, including links to Course Summary

2. General Resources for Knowledge Representation and Reasoning

3. I. What Is KR&R?

4. II. Semantic Networks & SNePS

5. III. Propositional and First-Order Logic (and other things, like Syntax vs. Semantics)

6. IIIA. Logic vs. Semantic Networks

7. IV. Ontology

8. V. Frames

9. VI. Description Logics

10. VII. Default Reasoning

11. VIII. Is Representation Necessary?