Applications of Declarative Programming and Knowledge Management - Kanade, Takeo; Seipel, Dietmar; Geske, Ulrich; Hanus, Michael; Bartenstein, Oskar (Springer Berlin / Heidelberg, 2005)