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
Information about Final Exam
, including links to
Course Summary
General Resources for Knowledge Representation and Reasoning
I. What Is KR&R?
II. Semantic Networks & SNePS
III. Propositional and First-Order Logic (and other things, like Syntax vs. Semantics)
IIIA. Logic vs. Semantic Networks
IV. Ontology
V. Frames
VI. Description Logics
VII. Default Reasoning
VIII. Is Representation Necessary?
Copyright © 2003 by
William J. Rapaport
(
rapaport@cse.buffalo.edu
)
file: 563/directory.2003.04.28.html