Logics in Artificial Intelligence - Janhunen, Tomi; Kanade, Takeo; Niemelä, Ilkka (Springer Berlin Heidelberg, 2010)
Keywords: Information Technology -- Artificial Intelligence