Applications of Declarative Programming and Knowledge Management : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009, held in Évora, Portugal, in November 2009. The 12 revised full papers presented together with 2 invited talks were carefully reviewed and selected during two rounds of reviewing and improvement. The conference comprehensively covers the impact of programmable logic solvers in the internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. The topics of the selected papers concentrate on three currently important fields: foundations and extensions of logic programming, databases and query languages, declarative programming with logic languages, and applications thereof. Front Matter....Pages - Design Patterns for Tabled Logic Programming....Pages 1-19 An Alternative High-Level Approach to Interaction with Databases....Pages 20-39 ISTO: A Language for Temporal Organizational Information Systems....Pages 40-51 Programming Patterns for Logtalk Parametric Objects....Pages 52-69 Stabel Model Implementation of Layer Supported Models by Program Transformation....Pages 70-84 Towards Computing Revised Models for FO Theories....Pages 85-101 Adaptive Reasoning for Cooperative Agents....Pages 102-116 Extending XQuery for Semantic Web Reasoning....Pages 117-134 Reference Model and Perspective Schemata Inference for Enterprise Data Integration....Pages 135-152 JSquash: Source Code Analysis of Embedded Database Applications for Determining Sql Statements....Pages 153-169 Elder Care via Intention Recognition and Evolution Prospection....Pages 170-187 Knowledge Management Strategy and Tactics for Forging Die Design Support....Pages 188-204 Searching in Protein State Space....Pages 205-222 Network Monitoring with Constraint Programming: Preliminary Specification and Analysis....Pages 223-238 Back Matter....Pages - This book constitutes revised selected papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2011, and the 25th Workshop on Logic Programming, WLP 2011, held in Vienna, Austria, in September 2011. The 19 papers presented in this volume were carefully reviewed and selected from 27 papers presented at the conference and initially a total of 35 submissions. The book also contains the papers of two invited talks. The papers are organized in topical sections on languages; answer-set programming and abductive reasoning; constraints and logic programming; answer-set programming and model expansion; application papers; and system descriptions. This book constitutes the thoroughly refereed post-conferenceproceedings of the 18th International Conference on Applications ofDeclarative Programming and Knowledge Management, INAP 2009, held inEvora, Portugal, in November 2009.