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, (Springer,)