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 / edited by Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein.

Format:

Book

Contributor:

Seipel, Dietmar, editor.

Hanus, Michael, editor.

Geske, Ulrich, editor.

Bartenstein, Oskar, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

Lecture notes in computer science. Lecture notes in artificial intelligence ; 3392.

Lecture Notes in Artificial Intelligence ; 3392

Language:

English

Subjects (All):

Programming languages (Electronic computers).

Artificial intelligence.

Computer programming.

Programming Languages, Compilers, Interpreters.

Artificial Intelligence.

Programming Techniques.

Local Subjects:

Programming Languages, Compilers, Interpreters.

Artificial Intelligence.

Programming Techniques.

Physical Description:

1 online resource (X, 315 pages).

Edition:

First edition 2005.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.

System Details:

text file PDF

Summary:

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.

Contents:

Knowledge Management and Decision Support

Optimizing the Evaluation of XPath Using Description Logics

Declaratively Querying and Visualizing Knowledge Bases in Xml

SQL Based Frequent Pattern Mining with FP-Growth

Incremental Learning of Transfer Rules for Customized Machine Translation

Quality Measures and Semi-automatic Mining of Diagnostic Rule Bases

An Evaluation of a Rule-Based Language for Classification Queries

Deductive and Inductive Reasoning on Spatio-Temporal Data

Mining Semantic Structures in Movies

Solving Alternating Boolean Equation Systems in Answer Set Programming

Constraint Programming and Constraint Solving

Effective Modeling with Constraints

A Local Search System for Solving Constraint Problems of Declarative Graph-Based Global Constraints

Realising the Alternative Resources Constraint

Integrating Time Constraints into Constraint-Based Configuration Models

Distributed Constraint-Based Railway Simulation

Declarative Programming and Web-Based Systems

Concurrent Engineering to Wisdom Engineering

Web Services Based on Prolog and Xml

A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language

DialogEngines - Dialog Agents for Web-Based Self Service Consulting

Towards Ubiquitous Maintenance - Defining Invocation of Plant Maintenance Agents in Real Workspace by Spatial Programming

A Pragmatic Approach to Pre-testing Prolog Programs.

Other Format:

Printed edition:

ISBN:

978-3-540-32124-8

9783540321248

Access Restriction:

Restricted for use by site license.