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

Häftad, Engelska, 2005

Av Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the thoroughly refereed joint post-proceedings of the 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, held jointly in Potsdam, Germany in March 2004.The 18 revised full papers presented together with an invited tutorial lecture and an invited paper were selected during two rounds of reviewing and improvement. The papers are organized in topical sections on knowledge management and decision support, constraint programming and constraint solving, and declarative programming and Web-based systems.

Produktinformation

Utgivningsdatum2005-04-04
Mått155 x 235 x 18 mm
Vikt493 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor314
Upplaga2005
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540255604

Tillhör följande kategorier

Programspråk inom Data och it
Programmeringsböcker inom Data och it
Artificiell intelligens inom Data och it

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.