CSC2542: Topics in Knowledge Representation and Reasoning:
Automated Reasoning
Winter 2006  

General information Professor: Sheila McIlraith, , Pratt 398D, sheila-at-cs
Lectures: Thursdays 2:00 -- 4:00 PM (Note the day and time change), WB 144
Course announcements
About the course Syllabus
Course Work Critique of readings
Class presentations
Course projects
Slides & Readings Last updated May 15, 5pm

For further information about the course or to report problems with the web page, contact the instructor, Sheila McIlraith: