Knowledge Representation and Reasoning - Slideshow
Ronald J. Brachman & Hector J. Levesque
Knowledge Representation
Ronald J. Brachman & Hector J. Levesque & Ray Reiter
Knowledge Representation and Reasoning
Ronald J. Brachman & Hector J. Levesque & Maurice Pagnucco
Readings in Knowledge Representation