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, 1959- (Lecture notes in computer science ;, 2006)