Logic Programming and Nonmonotonic Reasoning - Delgrande, James P.; Faber, Wolfgang; Kanade, Takeo; Kittler, Josef (Springer Berlin Heidelberg, 2011)
Keywords: Information Technology -- Artificial Intelligence