Knowledge Representation and Reasoning 2012-2013

G53KRR module description

Last year web page

Previous exam papers and answers

Module feedback (average exam marks etc.)
Feedback for exam 2012-13

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. An a link to eBook edition from the library catalogue.

Hector Levesque's on-line lecture slides based on the book
local copy


This file is maintained by Natasha Alechina
Last updated 19 February 2013.