Skip to main content
SpringerLink
Log in

Applications of Declarative Programming and Knowledge Management

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

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Salvador Abreu

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dietmar Seipel

    1. Universität Würzburg, Würzburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • up-to-date results
  • fast track conference proceedings
  • state-of-the-art report

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: INAP 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Download chapter PDF

  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

    Download chapter PDF
Back to top

Other volumes

  1. Applications of Declarative Programming and Knowledge Management

Keywords

About this book

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.

Editors and Affiliations

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

    Salvador Abreu

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

    Dietmar Seipel

Bibliographic Information

  • Book Title: Applications of Declarative Programming and Knowledge Management

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

  • Editors: Salvador Abreu, Dietmar Seipel

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-20589-7

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Berlin Heidelberg 2011

  • Softcover ISBN: 978-3-642-20588-0Published: 27 April 2011

  • eBook ISBN: 978-3-642-20589-7Published: 20 April 2011

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 239

  • Topics: Artificial Intelligence, Programming Techniques

Publish with us

Policies and ethics

Back to top

Search

Navigation