Invited Talk |
A Guide for Manual Construction of Difference-List Procedures / Ulrich Geske ; Hans-Joachim Goltz |
Constraints |
Linear Weighted-Task-Sum - Scheduling Prioritized Tasks on a Single Resource / Armin Wolf ; Gunnar Schrader |
Efficient Edge-Finding on Unary Resources with Optional Activities (Revised and Extended Version) / Sebastian Kuhnert |
Encoding of Planning Problems and Their Optimizations in Linear Logic / Lukáš Chrpa ; Pavel Surynek ; Jiří Vyskočil |
Constraint-Based Timetabling System for the German University in Cairo / Slim Abdennadher ; Mohamed Aly ; Marlien Edward |
Databases and Data Mining |
Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications / Andreas M. Boehm ; Dietmar Seipel ; Albert Sickmann ; Matthias Wetzka |
Relational Models for Tabling Logic Programs in a Database / Pedro Costa ; Ricardo Rocha ; Michel Ferreira |
Integrating XQuery and Logic Programming / Jesús M. Almendros-Jiménez ; Antonio Becerra-Terón ; Francisco J. Enciso-Baños |
Causal Subgroup Analysis for Detecting Confounding / Martin Atzmueller ; Frank Puppe |
Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining |
Extensions of Logic Programming |
Integrating Temporal Annotations in a Modular Logic Language / Vitor Nogueira ; Salvador Abreu |
Visual Generalized Rule Programming Model for Prolog with Hybrid Operators / Grzegorz J. Nalepa ; Igor Wojnicki |
The Kiel Curry System KICS / Bernd Braβel ; Frank Huch |
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics / Francisco J. López-Fraguas ; Juan Rodríguez-Hortalá ; Jaime Sánchez-Hernández |
Java Type Unification with Wildcards / Martin Plümicke |
System Demonstrations |
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT / Johannes Oetsch ; Martina Seidl ; Hans Tompits ; Stefan Woltran |
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics / Martin Gebser ; Jörg Pührer ; Torsten Schaub |
Author Index |
Invited Talk |
A Guide for Manual Construction of Difference-List Procedures / Ulrich Geske ; Hans-Joachim Goltz |
Constraints |