Knowledge Representation and Reasoning - Ronald Brachman; Hector Levesque (2004)