Advertisement

Applications of Declarative Programming and Knowledge Management

18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers

  • Salvador Abreu
  • Dietmar Seipel
Conference proceedings INAP 2009

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6547)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 6547)

Table of contents

  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

About these proceedings

Introduction

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.

Keywords

SAT solvers constraint processing data mining model generation program transformation

Editors and affiliations

  • Salvador Abreu
    • 1
  • Dietmar Seipel
    • 2
  1. 1.Departamento de InformáticaUniversidade de Évora and CENTRIA FCT/UNLPortugal
  2. 2.Universität WürzburgWürzburgGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-20589-7
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-20588-0
  • Online ISBN 978-3-642-20589-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site