Applications of Declarative Programming and Knowledge Management

This book constitutes the thoroughly refereed post-conferenceproceedings of the 18th International Conference on Applications ofDeclarative Programming and Knowledge Management, INAP 2009, held inÉvora, Portugal, in November 2009.The 12 revised full papers presented together with 2 invited talks werecarefully reviewed and selected during two rounds of reviewing andimprovement. The conference comprehensively covers the impactof programmable logic solvers in the internet society, its underlyingtec