Applications of Declarative Programming and Knowledge Management

17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

  • Dietmar Seipel
  • Michael Hanus
  • Armin Wolf
Conference proceedings INAP 2007, WLP 2007

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

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Talk

    1. Ulrich Geske, Hans-Joachim Goltz
      Pages 1-20
  3. Constraints

    1. Lukáš Chrpa, Pavel Surynek, Jiří Vyskočil
      Pages 54-68
    2. Slim Abdennadher, Mohamed Aly, Marlien Edward
      Pages 69-81
  4. Databases and Data Mining

    1. Andreas M. Boehm, Dietmar Seipel, Albert Sickmann, Matthias Wetzka
      Pages 82-98
    2. Pedro Costa, Ricardo Rocha, Michel Ferreira
      Pages 99-116
    3. Jesús M. Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños
      Pages 117-135
    4. Martin Atzmueller, Frank Puppe
      Pages 136-148
  5. Extensions of Logic Programming

    1. Vitor Nogueira, Salvador Abreu
      Pages 165-177
    2. Grzegorz J. Nalepa, Igor Wojnicki
      Pages 178-194
    3. Bernd Braßel, Frank Huch
      Pages 195-205
    4. Francisco J. López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
      Pages 206-222
    5. Martin Plümicke
      Pages 223-240
  6. System Demonstrations

    1. Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
      Pages 241-246
    2. Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran
      Pages 247-252
  7. Back Matter
    Pages 253-253

About these proceedings


This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007, and the 21st Workshop on Logic Programming, WLP 2007, held in Würzburg, Germany, during October 4-6, 2007.

The 16 thoroughly revised full papers presented together with 1 invited paper were carefully reviewed and selected from numerous submissions. The topics covered are constraints; databases and data mining; extensions of logic programming; and system demonstrations.


AI logics Debugging Factor Prolog SAT Scheduling answer sets constraint processing constraint solving data mining global constraints knowledge management ontologies optimization semantics

Editors and affiliations

  • Dietmar Seipel
    • 1
  • Michael Hanus
    • 2
  • Armin Wolf
    • 3
  1. 1.Universität Würzburg, Am HublandWürzburgGermany
  2. 2.Institut für InformatikChristian-Albrechts-Universität zu KielKielGermany
  3. 3.Fraunhofer FIRSTBerlinGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-00674-6
  • Online ISBN 978-3-642-00675-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Oil, Gas & Geosciences