CHITTA BARALBooksKnowledge Representation, Reasoning and Declarative Problem SolvingAuthor data: Open Library