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

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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.

Author(s): Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, Thomas Kleemann (auth.), Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein (eds.)
Series: Lecture Notes in Computer Science 3392 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005

Language: English
Pages: 315
City: Berlin ; New York, NY
Tags: Artificial Intelligence (incl. Robotics); Programming Techniques

Front Matter....Pages -
Optimizing the Evaluation of XPath Using Description Logics....Pages 1-15
Declaratively Querying and Visualizing Knowledge Bases in Xml ....Pages 16-31
SQL Based Frequent Pattern Mining with FP-Growth....Pages 32-46
Incremental Learning of Transfer Rules for Customized Machine Translation....Pages 47-64
Quality Measures and Semi-automatic Mining of Diagnostic Rule Bases....Pages 65-78
An Evaluation of a Rule-Based Language for Classification Queries....Pages 79-97
Deductive and Inductive Reasoning on Spatio-Temporal Data....Pages 98-115
Mining Semantic Structures in Movies....Pages 116-133
Solving Alternating Boolean Equation Systems in Answer Set Programming....Pages 134-148
Effective Modeling with Constraints....Pages 149-165
A Local Search System for Solving Constraint Problems of Declarative Graph-Based Global Constraints....Pages 166-184
Realising the Alternative Resources Constraint....Pages 185-199
Integrating Time Constraints into Constraint-Based Configuration Models....Pages 200-214
Distributed Constraint-Based Railway Simulation....Pages 215-226
Concurrent Engineering to Wisdom Engineering....Pages 227-244
Web Services Based on Prolog and Xml ....Pages 245-257
A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language....Pages 258-268
DialogEngines – Dialog Agents for Web-Based Self Service Consulting....Pages 269-277
Towards Ubiquitous Maintenance – Defining Invocation of Plant Maintenance Agents in Real Workspace by Spatial Programming....Pages 278-293
A Pragmatic Approach to Pre-testing Prolog Programs....Pages 294-308
Back Matter....Pages -