Knowledge Representation and Reasoning,
Edition 1
By Ronald Brachman and Hector Levesque

Publication Date: 19 May 2004