Applications of Declarative Programming and Knowledge Management

1. Front Matter

   PDF

2. Invited Talks

   1. Design Patterns for Tabled Logic Programming

      • Terrance Swift

      Pages 1-19

   2. An Alternative High-Level Approach to Interaction with Databases

      • António Porto

      Pages 20-39

3. Foundations and Extensions of Logic Programming

   1. ISTO: A Language for Temporal Organizational Information Systems

      • Vitor Nogueira, Salvador Abreu

      Pages 40-51

   2. Programming Patterns for Logtalk Parametric Objects

      • Paulo Moura

      Pages 52-69

   3. Stabel Model Implementation of Layer Supported Models by Program Transformation

      • Luís Moniz Pereira, Alexandre Miguel Pinto

      Pages 70-84

   4. Towards Computing Revised Models for FO Theories

      • Johan Wittocx, Broes De Cat, Marc Denecker

      Pages 85-101

   5. Adaptive Reasoning for Cooperative Agents

      • Luís Moniz Pereira, Alexandre Miguel Pinto

      Pages 102-116

4. Databases and Query Languages

   1. Extending XQuery for Semantic Web Reasoning

      • Jesús Manuel Almendros-Jiménez

      Pages 117-134

   2. Reference Model and Perspective Schemata Inference for Enterprise Data Integration

      • Valéria Magalhães Pequeno, João Carlos Moura Pires

      Pages 135-152

   3. JSquash: Source Code Analysis of Embedded Database Applications for Determining Sql Statements

      • Dietmar Seipel, Andreas M. Boehm, Markus Fröhlich

      Pages 153-169

5. Applications

   1. Elder Care via Intention Recognition and Evolution Prospection

      • Luís Moniz Pereira, The Anh Han

      Pages 170-187

   2. Knowledge Management Strategy and Tactics for Forging Die Design Support

      • Masanobu Umeda, Yuji Mure

      Pages 188-204

   3. Searching in Protein State Space

      • Dietmar Seipel, Jörg Schultz

      Pages 205-222

   4. Network Monitoring with Constraint Programming: Preliminary Specification and Analysis

      • Pedro Salgueiro, Salvador Abreu

      Pages 223-238

6. Back Matter

   PDF

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.

• SAT solvers
• constraint processing
• data mining
• model generation
• program transformation

• Departamento de Informática, Universidade de Évora and CENTRIA FCT/UNL, Portugal

  Salvador Abreu

• Universität Würzburg, Würzburg, Germany

  Dietmar Seipel

Policies and ethics