Knowledge Representation and Reasoning - Slideshow

Ronald J. Brachman & Hector J. Levesque