Declarative Programming for Knowledge Management, 16 conf., INAP 2005

This book constitutes the thoroughly refereed post-proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, held in Fukuoka, Japan, in October 2005.

The 13 revised full papers presented together with 3 invited talks and 1 invited tutorial were carefully reviewed and selected for inclusion in the book. The papers address all current aspects of declarative programming, constraint processing and knowledge management as well as their use for distributed systems and the Web. The papers are organized in topical sections on frontier technologies, industrial case studies, and business integration.