C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving