Declarative Programming for Knowledge Management - Umeda, Masanobu; Bartenstein, Oskar; Geske, Ulrich; Kanade, Takeo; Seipel, Dietmar; Takata, Osamu; Wolf, Armin (Springer Berlin Heidelberg, 2006)
Keywords: Information Technology -- Artificial Intelligence