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
  2. Invited Talks

  3. Foundations and Extensions of Logic Programming

    1. Vitor Nogueira, Salvador Abreu
      Pages 40-51
    2. Luís Moniz Pereira, Alexandre Miguel Pinto
      Pages 70-84
    3. Johan Wittocx, Broes De Cat, Marc Denecker
      Pages 85-101
    4. Luís Moniz Pereira, Alexandre Miguel Pinto
      Pages 102-116
  4. Databases and Query Languages

    1. Jesús Manuel Almendros-Jiménez
      Pages 117-134
    2. Valéria Magalhães Pequeno, João Carlos Moura Pires
      Pages 135-152
    3. Dietmar Seipel, Andreas M. Boehm, Markus Fröhlich
      Pages 153-169
  5. Applications

    1. Luís Moniz Pereira, The Anh Han
      Pages 170-187
    2. Dietmar Seipel, Jörg Schultz
      Pages 205-222
  6. Back Matter

About these proceedings


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

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