Lectures: F12-2 SS 2130, Tutorial: T1 SS 2130 (by arrangement)
Instructor: Maurice Pagnucco;
Office: D. L. Pratt LP 271, 978-7453
Office Hours: M 1:30-3:30, and by appointment.
Text: Draft book chapters to be distributed in class
Prerequisites: Course in Artificial Intelligence and working knowledge of LISP/Prolog plus first-order logic
Corequisites: CSC 2404: Computability and Logic
Marking: 4 problem sets 60% and 2 tests 40%