Logic Programming and Nonmonotonic Reasoning - Erdem, Esra; Kanade, Takeo; Lin, Fangzhen; Schaub, Torsten (Springer Berlin Heidelberg, 2009)
Keywords: Information Technology -- Artificial Intelligence