CS616: Knowledge Representation and Reasoning (2002-2003)


Important dates

Late coursework attracts penalties, unless there are extenuating circumstances, as set out in the CS and ACS Handbooks.

Module description

Information about the aims and learning outcomes of the module, reading material, assessment, and the syllabus.


Locations and times

The teaching week starts on 17 March 2003. Each day of the teaching week there will be lectures and labs starting at 9:30 in the morning.

Venue for lectures: MSc A (on the lower ground floor of the Kilburn Building).

Venue for lab exercises in the teaching week: MSc lab.



Pre-Coursework is to be submitted at the first lecture on the 17th of March 2003.

Reading material

The module does not follow a specific book: copies of the slides are made available.

Recommended reading material is listed on the course description webpage. The list is not final and may change until the start of the module.

Part III follows partly some chapters of:

With the exception of books not as yet published, the books on the webpage are available in the Resources Centre or the Departmental Research Library.

There is no need to buy a book for this module.

Copies of any additional papers will be made available on the web.


Exercises and assignments are of varying difficulty - those in the teaching week are aimed to consolidate the material of the lectures and are thus easier.

Some exercises and assignments are to be done with pencil and paper, some will require the use of tools (SPASS for the ML and DL part, DLV for the ASP part).

For the post-course work you will be given a selection of topics from which you choose one.

This work may involve writing a program, formalising problems, using reasoning tools for solving such problems, a case study on some research in one of the areas, or a mixture of these.


5% assignments in the pre course week, 25% assignments in the teaching week, 30% post-course work, 40% exam

Renate A. Schmidt
Home | Publications | FM Group | Dept Computer Science | Man Univ

Last modified: 3 June 2003
Copyright © 2002-03 Renate A. Schmidt, Dept Computer Science, Man Univ, schmidt@cs.man.ac.uk