Knowledge Representation and Reasoning 2016-2017

G53KRR module description
2013-14 G53KRR web page
Previous exam papers and answers
Feedback for exam 2013-14

The module describes how knowledge can be represented symbolically and manipulated in an automated way by reasoning programs. It will be based on the following textbook: Ronald Brachman and Hector Levesque. Knowledge Representation and Reasoning. Elsevier, 2004. There are several copies in the Jubilee Library, location Q387 BRA. And there is a link to eBook edition from the library catalogue.

Hector Levesque's on-line lecture slides based on the book
local copy
Moodle page for G53KRR (some lecture recordings)

Office hour (for questions): Tuesdays 15:00-16:00 in C57


This file is maintained by Natasha Alechina
Last updated 12 January 2017