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