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

Ulrich Geske, Hans-Joachim Goltz (auth.), Dietmar Seipel, Michael Hanus, Armin Wolf (eds.)3642006744, 9783642006746

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 :
Front Matter….Pages I-X
A Guide for Manual Construction of Difference-List Procedures….Pages 1-20
Linear Weighted-Task-Sum – Scheduling Prioritized Tasks on a Single Resource….Pages 21-37
Efficient Edge-Finding on Unary Resources with Optional Activities….Pages 38-53
Encoding of Planning Problems and Their Optimizations in Linear Logic….Pages 54-68
Constraint-Based Timetabling System for the German University in Cairo….Pages 69-81
Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications….Pages 82-98
Relational Models for Tabling Logic Programs in a Database….Pages 99-116
Integrating XQuery and Logic Programming….Pages 117-135
Causal Subgroup Analysis for Detecting Confounding….Pages 136-148
Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining….Pages 149-164
Integrating Temporal Annotations in a Modular Logic Language….Pages 165-177
Visual Generalized Rule Programming Model for Prolog with Hybrid Operators….Pages 178-194
The Kiel Curry System K i CS….Pages 195-205
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics….Pages 206-222
Java Type Unification with Wildcards….Pages 223-240
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System cc  ⊤  ….Pages 241-246
spock : A Debugging Support Tool for Logic Programs under the Answer-Set Semantics….Pages 247-252
Back Matter….Pages 253-253