21. WLP / 17. INAP 2007: Würzburg, Germany

Dietmar Seipel, Michael Hanus, Armin Wolf (Eds.): 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. Lecture Notes in Computer Science 5437 Springer 2009, ISBN 978-3-642-00674-6

Invited Talk

Ulrich Geske, Hans-Joachim Goltz:
A Guide for Manual Construction of Difference-List Procedures. 1-20

Constraints

Armin Wolf, Gunnar Schrader:
Linear Weighted-Task-Sum - Scheduling Prioritized Tasks on a Single Resource. 21-37
Sebastian Kuhnert:
Efficient Edge-Finding on Unary Resources with Optional Activities. 38-53
Lukás Chrpa, Pavel Surynek, Jirí Vyskocil:
Encoding of Planning Problems and Their Optimizations in Linear Logic. 54-68
Slim Abdennadher, Mohamed Aly, Marlien Edward:
Constraint-Based Timetabling System for the German University in Cairo. 69-81

Databases and Data Mining

Andreas M. Boehm, Dietmar Seipel, Albert Sickmann, Matthias Wetzka:
Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications. 82-98
Pedro Costa, Ricardo Rocha, Michel Ferreira:
Relational Models for Tabling Logic Programs in a Database. 99-116
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños:
Integrating XQuery and Logic Programming. 117-135
Martin Atzmüller, Frank Puppe:
Causal Subgroup Analysis for Detecting Confounding. 136-148
Martin Atzmüller, Dietmar Seipel:
Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining. 149-164

Extensions of Logic Programming

Vítor Nogueira, Salvador Abreu:
Integrating Temporal Annotations in a Modular Logic Language. 165-177
Grzegorz J. Nalepa, Igor Wojnicki:
Visual Generalized Rule Programming Model for Prolog with Hybrid Operators. 178-194
Bernd Brassel, Frank Huch:
The Kiel Curry System KiCS. 195-205
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. 206-222
Martin Plümicke:
Java Type Unification with Wildcards. 223-240

System Demonstrations

Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran:
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT. 241-246
Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran:
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. 247-252