Computer Laboratory

Course pages 2011–12

Automated Reasoning

The assessment will be done by the lecturer and will consist of three parts:

  1. The write-up of the literature survey (term paper) will account for 25% of the final mark.
  2. The student's presentation of the review (an in-depth analysis) of an existing automated reasoning system together with a short assigned filled review form for the research paper (course work) will account for 10% of the final mark.
  3. A written test at the end of the course will account for 65% of the mark. The final grade for the course will be provided as a percentage.

Literature survey

Below you will find instructions for doing your literature survey with some suggestions of topics. You are welcome to suggest your own topic of automated reasoning that you would like to survey. You need to finalise with the lecturer your choice of topic by Tuesday 18 October 2011 and submit your literature survey in pdf format via email to the lecturer by Friday 2 December 2011.

Paper review and presentation

Below you will find instructions for doing your paper review and presentation on its content. You should review a research paper from the list of suggested papers at the end of this document, or suggest to the lecturer a conference or a journal paper on a topic in Automated Reasoning of your interest (of length between 8 to 15 pages). You should finalise the choice of a research paper for review and presentation with the lecturer by Thursday 20 October, 2011.