宣告式编程与知识管理的应用/会议论文集 Applications of Declarative Programming and

出版时间：2005-5  出版社：北京燕山出版社  作者：Seipel, Dietmar; Hanus, Michael; Geske, Ulrich  页数：308  

内容概要

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.

书籍目录

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 ProgrammingConstraint 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 SimulationDeclarative 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 ProgramsAuthor Index