Logic for Programming, Artificial Intelligence, and Reasoning - LPAR (Conference); Baader, Franz; Kanade, Takeo; Voronkov, AndreÄ; Kittler, Josef (Springer Berlin / Heidelberg, 2005)
Keywords: Information Technology -- Artificial Intelligence