Logics in Artificial Intelligence - Hutchison, David; Kanade, Takeo; Fariñas del Cerro, Luis; Herzig, Andreas; Mengin, Jérôme (Springer Berlin Heidelberg, 2012)
Keywords: Information Technology -- Artificial Intelligence