Skip to main content
SpringerLink
Log in
Book cover

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
  • © 2005

Overview

Editors:
  1. Dietmar Seipel

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael Hanus

    1. Institut für Informatik, CAU Kiel, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ulrich Geske

    1. Fraunhofer FIRST, Berlin

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Oskar Bartenstein

    1. IF Computer Japan, Tokyo, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: INAP 2004, WLP 2004.

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 (20 papers)

  1. Front Matter

    Download chapter PDF

  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. Incremental Learning of Transfer Rules for Customized Machine Translation

      • Werner Winiwarter
      Pages 47-64

    5. Quality Measures and Semi-automatic Mining of Diagnostic Rule Bases

      • Martin Atzmueller, Joachim Baumeister, Frank Puppe
      Pages 65-78

    6. An Evaluation of a Rule-Based Language for Classification Queries

      • Dennis P. Groth
      Pages 79-97

    7. Deductive and Inductive Reasoning on Spatio-Temporal Data

      • Mirco Nanni, Alessandra Raffaetà, Chiara Renso, Franco Turini
      Pages 98-115

    8. Mining Semantic Structures in Movies

      • Kimiaki Shirahama, Yuya Matsuo, Kuniaki Uehara
      Pages 116-133

    9. 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. A Local Search System for Solving Constraint Problems of Declarative Graph-Based Global Constraints

      • Markus Bohlin
      Pages 166-184

    3. Realising the Alternative Resources Constraint

      • Armin Wolf, Hans Schlenker
      Pages 185-199

    4. Integrating Time Constraints into Constraint-Based Configuration Models

      • Ulrich John, Ulrich Geske
      Pages 200-214

    5. Distributed Constraint-Based Railway Simulation

      • Hans Schlenker
      Pages 215-226

  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

    4. DialogEngines – Dialog Agents for Web-Based Self Service Consulting

      • Oskar Bartenstein
      Pages 269-277

    5. Towards Ubiquitous Maintenance – Defining Invocation of Plant Maintenance Agents in Real Workspace by Spatial Programming

      • Hiroki Takahashi, Osamu Yoshie
      Pages 278-293
Back to top

Other volumes

  1. Applications of Declarative Programming and Knowledge Management

Keywords

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.

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: Programming Languages, Compilers, Interpreters, Artificial Intelligence, Programming Techniques

Publish with us

Policies and ethics

Back to top

Search

Navigation