Applications of Declarative Programming and Knowledge Management : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

by Seipel, Dietmar; Hanus, Michael; Wolf, Armin

• ISBN13: 9783642006746
• ISBN10: 3642006744
• Format: Paperback
• Copyright: 2009-12-30
• Publisher: Springer-Verlag New York Inc

Summary

This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007, and the 21st Workshop on Logic Programming, WLP 2007, held in Würzburg, Germany, during October 4-6, 2007.The 16 thoroughly revised full papers presented together with 1 invited paper were carefully reviewed and selected from numerous submissions. The topics covered are constraints; databases and data mining; extensions of logic programming; and system demonstrations.

Table of Contents

Invited Talk
A Guide for Manual Construction of Difference-List Procedures	p. 1
Constraints
Linear Weighted-Task-Sum - Scheduling Prioritized Tasks on a Single Resource	p. 21
Efficient Edge-Finding on Unary Resources with Optional Activities (Revised and Extended Version)	p. 38
Encoding of Planning Problems and Their Optimizations in Linear Logic	p. 54
Constraint-Based Timetabling System for the German University in Cairo	p. 69
Databases and Data Mining
Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications	p. 82
Relational Models for Tabling Logic Programs in a Database	p. 99
Integrating XQuery and Logic Programming	p. 117
Causal Subgroup Analysis for Detecting Confounding	p. 136
Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining	p. 149
Extensions of Logic Programming
Integrating Temporal Annotations in a Modular Logic Language	p. 165
Visual Generalized Rule Programming Model for Prolog with Hybrid Operators	p. 178
The Kiel Curry System KICS	p. 195
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics	p. 206
Java Type Unification with Wildcards	p. 223
System Demonstrations
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT	p. 241
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics	p. 247
Author Index	p. 253
Table of Contents provided by Ingram. All Rights Reserved.