Knowledge Representation, Reasoning and Declarative Problem Solving - Chitta Baral (2003)