Knowledge Representation and Reasoning by Hector J. Levesque, Ronald Brachman & Hector Levesque