Applications of Declarative Programming and Knowledge Management

15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers

  • Dietmar Seipel
  • Michael Hanus
  • Ulrich Geske
  • Oskar Bartenstein

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

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

Table of contents

  1. Front Matter
  2. Knowledge Management and Decision Support

    1. Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, Thomas Kleemann
      Pages 1-15
    2. Dietmar Seipel, Joachim Baumeister, Marbod Hopfner
      Pages 16-31
    3. Xuequn Shang, Kai-Uwe Sattler, Ingolf Geist
      Pages 32-46
    4. Martin Atzmueller, Joachim Baumeister, Frank Puppe
      Pages 65-78
    5. Mirco Nanni, Alessandra Raffaetà, Chiara Renso, Franco Turini
      Pages 98-115
    6. Kimiaki Shirahama, Yuya Matsuo, Kuniaki Uehara
      Pages 116-133
    7. Misa Keinänen, Ilkka Niemelä
      Pages 134-148
  3. Constraint Programming and Constraint Solving

  4. Declarative Programming and Web-Based Systems

    1. Shuichi Fukuda
      Pages 227-244
    2. Bernd D. Heumesser, Andreas Ludwig, Dietmar Seipel
      Pages 245-257
    3. François Bry, Sebastian Schaffert, Andreas Schroeder
      Pages 258-268

About these proceedings

Introduction

This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, which were held jointly in Potsdam, Germany, from March 4th to 6th, 2004. Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This speci?cation method has become more and more attractive in recent years, for example, in the domains of databases, for the processing of natural language, for the modeling and processing of combinatorial problems, and for establishing knowledge-based systems for the Web. The INAP conferences provide a forum for intensive discussions of appli- tions of important technologies around logic programming, constraint problem solving, and closely related advanced software. They comprehensively cover the impact of programmable logic solvers in the Internet society, its underlying te- nologies, and leading-edge applications in industry, commerce, government, and social services. The Workshops on Logic Programming are the annual meeting of the Society for Logic Programming (GLP e.V.). They bring together researchers interested in logic programming, constraint programming, and related areas like databases and arti?cial intelligence. Previous workshops have been held in Germany, A- tria, and Switzerland. Thetopicsoftheselectedpapersofthisyear’sjointconferenceconcentrateon three currently important ?elds: knowledge management and decision support, constraint programming and constraint solving, and declarative programming and Web-based systems.

Keywords

SQL Self Web knowledge processing agent-based systems classification constraint problem solving constraint programming decision support declarative programming knowledge base knowledge-based systems logic modeling prolog semantics

Editors and affiliations

  • Dietmar Seipel
    • 1
  • Michael Hanus
    • 2
  • Ulrich Geske
    • 3
  • Oskar Bartenstein
    • 4
  1. 1.Universität WürzburgWürzburgGermany
  2. 2.Institut für InformatikCAU KielGermany
  3. 3.Fraunhofer FIRSTBerlin
  4. 4.IF Computer JapanTokyoJapan

Bibliographic information

  • DOI https://doi.org/10.1007/b135595
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-25560-4
  • Online ISBN 978-3-540-32124-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book