"Knowledge Representation, Reasoning and Declarative Problem Solving" - читать интересную книгу автора (Chitta Baral)