Knowledge Representation and Reasoning

Book by Hector Levesque and Ronald J. Brachman