Knowledge Representation and Reasoning 2017-2018

G53KRR module description
Previous year G53KRR web page
Previous exam papers and answers

Recent paper on importance of KRR in AI curriculum

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


This file is maintained by Natasha Alechina
Last updated 14 September 2017