The Department of Computer Science & Engineering
cse@buffalo
CSE 463/563:
INTRODUCTION TO
KNOWLEDGE
REPRESENTATION
& REASONING
Spring 2005

Directory of Documents

CSE 463/563: Last Update: 6 May 2005

Note: NEW or UPDATED material is highlighted

CIT Services for Students...
  • ...is a list of links to services provided by
    Computing and Information Technology,
    including such topics as:
    • Getting Started
    • Email & News
    • Internet Access
    • Computing Labs (e.g., where they are; how to print)
    • Hardware & Software (including TechTools and Unix)
    • Training, Support, & Documentation

  1. General Resources for Knowledge Representation and Reasoning

  2. Introduction to KR&R

  3. Blocks-World Ontology

  4. Syntax vs. Semantics

  5. Propositional & First-Order Logic

  6. FOL: Automated Theorem Proving

  7. Semantic Networks

  8. A Fundamental Problem in KRR

  9. Ontology

  10. Brooks: Intelligence without Representation or Reasoning


Copyright © 2005 by William J. Rapaport (rapaport@cse.buffalo.edu)
file: 563S05/directory-2005-05-06.html