| 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 |
| 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 |
