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

CSE 663: ADVANCED TOPICS IN KNOWLEDGE REPRESENTATION & REASONING (Fall 2003)

Instructor:	Prof. William J. Rapaport
Times:	MWF 12:00 noon - 12:50 p.m.
Classroom:	Baldy 115
Reg. No.:	064926

Course Description:

A second graduate course in knowledge representation and reasoning covering such topics as automated theorem proving, semantic network implementation, etc., and surveying knowledge representation and reasoning topics not covered in other graduate-level courses. Topics will vary according to instructor and student interests.

Prerequisites:

Graduate standing and either CSE 563 (Knowledge Representation) or CSE 572 (Knowledge-Based AI) or CSE/LIN 567 (Computational Linguistics); or else permission of instructor.

Related web pages:

• Syllabus
• 663 newsgroup
• Directory of on-line documents