Principles of Knowledge Representation and Reasoning - Doyle, Jon (Elsevier Science, 2014)