"Logic Programming and Nonmonotonic Reasoning, 9 conf., LPNMR 2007" - читать интересную книгу автора (Chitta Baral, Gerhard Brewka, John Schlipf)