CS616: Knowledge Representation and Reasoning (2004-2005)


Important dates

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

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

Handing in your work

Please hand in your written coursework as a hard copy to the PG office.

Programs implemented for practical assignments should be sent to schmidt@cs.man.ac.uk -- 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

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


Locations and times

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

Venue for lectures: 2.19.

Venue for lab exercises in the teaching week: 2.25b.



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

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: 08 Apr 05
Copyright © 2004-05 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk