491 Knowledge Representation


4th year/MAC/MSc(Spec) course.   Lecturer: Marek Sergot.

These notes and exercises are copyright Marek Sergot.  You may use them as long as they are
not sold for profit and the title slide with the names and affiliations appears on them as in the file.

Please let me know of any typographical or other errors in these notes. mjs "at" doc.ic.ac.uk


Copies of lecture notes, tutorial exercises, and solutions will be added here as they are issued.

In the meantime, you can find copies of handouts from 2008-09 HERE.
There may be some changes in this year's syllabus but the core material is likely to remain the same.

Lecture notes

Tutorial exercises


Answer Set Solver: clasp

You are strongly encouraged to try out examples and exercises using
the ASP solver clasp. (This will be part of the Assessed Coursework.)

It is installed on /vol/lab/CLASP. See README file in that directory.


Assessed coursework (2009-10)


Last modified 16 March 2010