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

Front Cover
Dietmar Seipel
Springer Science & Business Media, Apr 4, 2005 - Computers - 308 pages
0 Reviews
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Optimizing the Evaluation of XPath Using Description Logics
1
Declaratively Querying and Visualizing Knowledge Bases in XML
16
SQL Based Frequent Pattern Mining with FPGrowth
32
Incremental Learning of Transfer Rules for Customized Machine Translation
47
Quality Measures and Semiautomatic Mining of Diagnostic Rule Bases
65
An Evaluation of a RuleBased Language for Classification Queries
79
Deductive and Inductive Reasoning on SpatioTemporal Data
98
Mining Semantic Structures in Movies
116
Realising the Alternative Resources Constraint
185
Integrating Time Constraints into ConstraintBased Configuration Models
200
Distributed ConstraintBased Railway Simulation
215
Concurrent Engineering to Wisdom Engineering
227
Web Services Based on PROLOG and XML
245
A Contribution to the Semantics of Xcerpt a Web Query and Transformation Language
258
DialogEngines Dialog Agents for WebBased Self Service Consulting
269
Towards Ubiquitous Maintenance Defining Invocation of Plant Maintenance Agents in Real Workspace by Spatial Programming
278

Solving Alternating Boolean Equation Systems in Answer Set Programming
134
Effective Modeling with Constraints
149
A Local Search System for Solving Constraint Problems of Declarative GraphBased Global Constraints
166
A Pragmatic Approach to Pretesting Prolog Programs
294
Author Index
309
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information