|
The Department of Computer Science & Engineering
|
|
CSE 663: ADVANCED TOPICS IN KNOWLEDGE REPRESENTATION (Spring
2002)
|
 |
| Instructor: | Prof. William J. Rapaport |
| Times: | TTh 9:30 - 10:50 a.m. |
| Classroom: | Cooke 127A |
| Reg. No.: | 475069 |
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: