University of Toronto - Winter 2006
Department of Computer Science

CSC 2542: Topics in KR&R: Automated Reasoning

Class Projects


A major fraction of your course grade will be based on a course project. The course project must be on the general topic of automated reasoning for AI problem solving. A set of potential topics will be provided, but I encourage students to choose their own topic and to use this as a vehicle to jumpstart a new research project or to investigate a new aspect of ongoing research. Come and talk to me early in the term about possible research topics.

An initial 2-page project proposal is due no later than by 5pm, Monday February 27. I encourage you to start thinking about your project early and talking to me about it. The proposal must comprise:

Project Presentations:
Preliminary Schedule for Project Presentations (April 18, 2006)
Your presentation is worth 10% of your mark. Your presentation should be 20 minutes in length (leaving 10 minutes for questions). 20 minutes = approx 10 slides. You should try cover the following points:

Use this as a guide. You don't need to stick to this if doesn't seem to fit your project.

I expect each of you to talk to me/Scott at least 4 days before your presentation to go over the outline of your slides, and again the morning of your presentation (or the day before).

Evaluation of the project (70 marks):

Due Date: The final written reports for projects is due the last day of examinations, Friday May 12 at 5:00pm. (I will accept projects on Monday May 15 by 5:00pm without penalty, but Friday is preferred.)