"Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings (Lecture Notes in Computer Science)" - читать интересную книгу автора (Chitta Baral, Gerhard Brewka, John Schlipf)