Logic Programming and Nonmonotonic Reasoning - Baral, Chitta; Brewka, Gerhard; Carbonell, Jaime G.; Schlipf, John; Siekmann, Jörg (Springer Berlin Heidelberg, 2007)
Keywords: Information Technology -- Artificial Intelligence