Logics in Artificial Intelligence - Fisher, Michael; Hoek, Wiebe; Kanade, Takeo; Konev, Boris; Lisitsa, Alexei; van der Hoek, Wiebe (Springer Berlin Heidelberg, 2006)
Keywords: Information Technology -- Artificial Intelligence