"Logic Programming and Nonmonotonic Reasoning - LPNMR 2011" - читать интересную книгу автора (James Delgrande, Wolfgang Faber)