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 (Lecture Notes in Computer Science,, 2006)