Applications of Declarative Programming and Knowledge Management - Seipel, Dietmar; Hanus, Michael; Kanade, Takeo; Wolf, Armin (Springer Berlin Heidelberg, 2009)
Keywords: Information Technology -- Artificial Intelligence