CS616: Knowledge Representation and Reasoning (2005-2006)


Important dates

Please let us know in good time if you have problems with the set deadlines.

Handing in your work

Please hand in your written coursework as a hard copy to the Student Support Office, Room 2.3.

Programs implemented for practical assignments should be sent to the relevant supervisor, see `Confirmation of topics' above. Please include all binaries, source files, makefiles, etc. It would also be useful to include some example input files or description of examples.

If enough information is provided for us to figure out how your system works, no demonstration is needed. In case we require a demonstration or have problems installing your system we'll let you know.

Module description

Please follow the link for details about the aims and learning outcomes of the module, reading material, assessment, and the syllabus.


Locations and times

See MSc Course Unit Timetable.



Pre-Coursework is to be submitted at the first lecture on the 30 January 2006.

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.

The books on the webpage are available in the Resources Centre 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 part, ICOM for the DL 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: 01 Mar 06
Copyright © 2004-05 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk