Knowledge Representation and Reasoning

Brachman, Ronald J; Levesque, Hector J