Knowledge Representation, Reasoning And Declarative Problem Solving door Chitta Baral