"Reasoning and Revision in Hybrid Representation Systems (Lecture Notes in Computer Science)" - читать интересную книгу автора (Bernhard Nebel)