Date: Wed, 20 Nov 1996 22:23:38 GMT Server: NCSA/1.5 Content-type: text/html Last-modified: Wed, 23 Oct 1996 18:43:31 GMT Content-length: 3697
DIVISION OF APPLIED SCIENCES
HARVARD UNIVERSITY
Spring '96: Tuesdays and Thursdays,
11.30a - 1.00p
Aiken Computation Laboratory, Room G23
Instructor: Prof. Barbara J. Grosz
Teaching Fellow: Dena Weinstein
Prerequisites: Computer Science 51 and 121 or 124, or permission of instructor.
In-depth introduction to formalisms for knowledge representation and techniques for reasoning and planning. Topics: formal logic-based representations; probabilistic reasoning; nonmonotonic logics; truth-maintenance systems; qualitative reasoning; inheritance hierarchies; computational approaches to reasoning about actions and time, including actions of multiple agents, nonlinear planning, plan recognition; reasoning about knowledge, belief, and action.
If you have any questions about the course or its prerequisites, please contact Dena Weinstein. Detailed information about the course can be found in the syllabus.
The links in this section are in PostScript format.
For any suggestions on the improvement of this page,
please contact Dena
Weinstein or Bree Horwitz.
Return to the DAS Home Page.