| 12:00 - 13:00 | Registration |
| 13:00 - 13:10 | Opening |
| 13:10 - 15:10 | Technical Session 1: Applications (Chair: Armin Wolf) |
| 13:10 - 13:40 |
Causal Theories as Logic Programs Paolo Ferraris |
| 13:40 - 14:10 |
Voting Theory in Answer Set Programming Kathrin Konczak |
| 14:10 - 14:40 |
Evaluating ASP and Commercial Solvers on the CSPLib Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi |
| 14:40 - 15:10 |
Dynamic Logic Programming and World State Evaluation in
Computer Games Jozef Siska |
| 15:10 - 15:40 | Coffee Break |
| 15:40 - 16:40 | Tutorial 1 (Chair: Michael Hanus) |
|
Object-Oriented Constraint Programming in Java Using the Library firstcs Armin Wolf | |
| 16:40 - 17:20 | System Demonstrations (Chair: Michael Hanus) |
| 16:40 - 17:00 |
A Tool for Advanced Correspondence Checking in Answer-Set
Programming Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran |
| 17:00 - 17:20 |
dlvhex: A System for Integrating Multiple Semantics in an
Answer-Set Programming Framework Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits |
| 17:30 - 19:00 | GLP Meeting |
| 09:30 - 10:30 | Invited Talk 1 (Chair: Hans Tompits) |
|
Tableaux Calculi for Answer Set Programming Torsten Schaub (Univ. Potsdam) | |
| 10:30 - 11:00 | Coffee Break |
| 11:00 - 12:30 | Technical Session 2: Programming Aspects (Chair: Ulrich Geske) |
| 11:00 - 11:30 |
Executable Denotations for Concurrent Languages using
Concurrent Transaction Logic Marcus Vinicius Santos |
| 11:30 - 12:00 |
Adding Constraint Handling Rules to Curry Michael Hanus |
| 12:00 - 12:30 |
INCLP(R) - Interval-based Nonlinear Constraint Logic
Programming over the Reals Leslie De Koninck, Tom Schrijvers, Bart Demoen |
| 12:30 - 14:30 | Lunch |
| 14:30 - 15:30 | Technical Session 3: Theory (Chair: Dietmar Seipel) |
| 14:30 - 15:00 |
Non-monotonic Integrity Constraints Jan Sefranek |
| 15:00 - 15:30 |
Complete First-Order Axiomatization of Finite or Infinite
M-extended Trees Khalil Djelloul, Thi-Bich-Hanh Dao |
| 15:30 - 16:00 | Coffee Break |
| 16:00 - 16:45 | Tutorial 2 (Chair: Sebastian Schaffert) |
|
How to Teach Difference Lists? Ulrich Geske | |
| 16:45 - 17:45 | Technical Session 4: Semantic Web (Chair: Sebastian Schaffert) |
| 16:45 - 17:15 |
Logic Programs with Contextually Scoped Negation Axel Polleres |
| 17:15 - 17:45 |
Declarative Web Data Extraction and Annotation Carlo Bernardoni, Giacomo Fiumara, Massimo Marchi, Alessandro Provetti |
| 19:00 | Workshop Dinner |
| 9:30 - 10:30 | Invited Talk 2 (Chair: Michael Fink) |
|
Algorithmic Aspects of Model Representations Reinhard Pichler (TU Wien) | |
| 10:30 - 11:00 | Coffee Break |
| 11:00 - 12:30 | Technical Session 5: Answer-Set Programming (Chair: Axel Polleres) |
| 11:00 - 11:30 |
Replacements in Non-Ground Answer-Set Programming Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran |
| 11:30 - 12:00 |
Weak Order Equivalence for Logic Programs with Preferences Kathrin Konczak |
| 12:00 - 12:30 |
Decomposition of Nonmonotone Aggregates in Answer Set
Programming Wolfgang Faber |
| 12:30 - 13:00 | Coffee Break |
| 13:00 - 14:30 | Technical Session 6: Constraint-Handling Rules (Chair: Wolfgang Faber) |
| 13:00 - 13:30 |
Fine-grained Parallel Implementation of the Preflow-Push
Algorithm in CHR Marc Meister |
| 13:30 - 14:00 |
Dijkstra's Algorithm with Fibonacci Heaps: An Executable
Description in CHR Jon Sneyers, Tom Schrijvers, Bart Demoen |
| 14:00 - 14:30 |
ORCAS: Towards a CHR-Based Model-Driven Framework of Reusable
Reasoning Components Jacques Robin, Jairson Vitorino |