University of Toronto - Winter 2006
Department of Computer Science

CSC 2542: Topics in KR&R: Automated Reasoning

Course Announcements



May 15 All received project presentations have been posted. Have a great summer!
May 3 Updated project presentation schedule.
Apr 30 Posted Answer Set Programming slides.
Apr 24 A few changes to the presentation schedule.
Apr 18 Switched Eric's presentation to May 8.
Apr 14 Switched Jessica and Eric's presentation dates.
Apr 13 Updated readings page with tentative project presentation schedule.
Apr 13 Updated projects page with tips on presentation.
Apr 11 Almost all talk slides posted... waiting on a few.
Apr 11 Updated critique grades on readings page... please turn in remaining critiques by Apr 13.
Apr 7 Posted critique grades to date at top of readings page.
Mar 8 Posted most lecture slides to date... still waiting on some.
Mar 3 Posted Knowledge Compilation Map slides.
Mar 2 Posted the list of paper assignmens on the Slides and Readings page. This is a repeat of the email circulated last week.
Feb 24 Answer Set Programming Lecture changed from Mar. 1 to Mar. 22, noon-2pm, PT 266.
Feb 16 Please see administrative notes for this week.
Feb 13 All readings for course posted.
Feb 10 An extra CSC2542 lecture will be held Wed Mar 1, noon-2pm(max), Pratt 266.
Feb 9 Posted planning readings for next class.
Feb 5 Posted tutorial slides from Marsha's lecture.
Feb 2 Posted diagnosis readings for next class.
Feb 2 Posted tutorial slides from Fahiem's lecture.
Jan 25 If you have not been receiving email from Sheila/Scott regarding the class, please send Sheila mail and she will add you to the CSC2542 mailing list.
Jan 24 Posted readings for Fahiem's lecture this Thursday.
Jan 23 ATP Slides posted. Note that the middle section on FOL TP has been substantially updated.
Jan 19 1:00 PM CLASS IS ON Scott is feeling well enough to lecture!
Jan 19 11:00 AM CLASS IS CANCELLED DUE TO ILLNESS, unless you see another post here or in email before 2pm today.
Jan 12 Photocopies of the readings for the Jan 19 lecture are available in Pratt 283.
Jan 12 Posted slides for first lecture.
Jan 9 First lecture Thurday January 12, 2pm, WB 144. This will predominantly be an organizational meeting.