Declarative Programming for Knowledge Management 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers - Umeda, Masanobu; Wolf, Armin; Bartenstein, Oskar; Geske, Ulrich; Seipel, Dietmar; Takata, Osamu (Springer Berlin Heidelberg, 2006)