Skip to main content
  • Conference proceedings
  • © 2005

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

Conference proceedings info: INAP 2004, WLP 2004.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (20 papers)

  1. Front Matter

  2. Knowledge Management and Decision Support

    1. Optimizing the Evaluation of XPath Using Description Logics

      • Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, Thomas Kleemann
      Pages 1-15
    2. Declaratively Querying and Visualizing Knowledge Bases in Xml

      • Dietmar Seipel, Joachim Baumeister, Marbod Hopfner
      Pages 16-31
    3. SQL Based Frequent Pattern Mining with FP-Growth

      • Xuequn Shang, Kai-Uwe Sattler, Ingolf Geist
      Pages 32-46
    4. Quality Measures and Semi-automatic Mining of Diagnostic Rule Bases

      • Martin Atzmueller, Joachim Baumeister, Frank Puppe
      Pages 65-78
    5. Deductive and Inductive Reasoning on Spatio-Temporal Data

      • Mirco Nanni, Alessandra Raffaetà, Chiara Renso, Franco Turini
      Pages 98-115
    6. Mining Semantic Structures in Movies

      • Kimiaki Shirahama, Yuya Matsuo, Kuniaki Uehara
      Pages 116-133
    7. Solving Alternating Boolean Equation Systems in Answer Set Programming

      • Misa Keinänen, Ilkka Niemelä
      Pages 134-148
  3. Constraint Programming and Constraint Solving

    1. Effective Modeling with Constraints

      • Roman Barták
      Pages 149-165
    2. Realising the Alternative Resources Constraint

      • Armin Wolf, Hans Schlenker
      Pages 185-199
  4. Declarative Programming and Web-Based Systems

    1. Concurrent Engineering to Wisdom Engineering

      • Shuichi Fukuda
      Pages 227-244
    2. Web Services Based on Prolog and Xml

      • Bernd D. Heumesser, Andreas Ludwig, Dietmar Seipel
      Pages 245-257
    3. A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language

      • François Bry, Sebastian Schaffert, Andreas Schroeder
      Pages 258-268

Other Volumes

  1. Applications of Declarative Programming and Knowledge Management

About this book

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

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

    Dietmar Seipel

  • Institut für Informatik, CAU Kiel, Germany

    Michael Hanus

  • Fraunhofer FIRST, Berlin

    Ulrich Geske

  • IF Computer Japan, Tokyo, Japan

    Oskar Bartenstein

Bibliographic Information

  • Book Title: Applications of Declarative Programming and Knowledge Management

  • Book Subtitle: 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

  • Editors: Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/b135595

  • Publisher: Springer Berlin, Heidelberg

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

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2005

  • Softcover ISBN: 978-3-540-25560-4Published: 04 April 2005

  • eBook ISBN: 978-3-540-32124-8Published: 01 April 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 314

  • Topics: Compilers and Interpreters, Artificial Intelligence, Programming Techniques

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions