Accepted Papers for WLP 2006

1. Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR
Authors: Jon Sneyers, Tom Schrijvers, Bart Demoen

2. Dynamic Logic Programming and world state evaluation in computer games
Author: Jozef Siska

3. Weak Order Equivalence for Logic Programs with Preferences
Author: Kathrin Konczak

4. Voting Theory in Answer Set Programming
Author: Kathrin Konczak

5. Adding Constraint Handling Rules to Curry
Author: Michael Hanus

6. Non-monotonic Integrity Constraints
Author: Jan Sefranek

7. Causal Theories as Logic Programs
Author: Paolo Ferraris

8. Many-valued Logic Programming and Fixpoint Semantics for Higher-order Herbrand Models
Author: Zoran Majkic

9. INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals
Authors: Leslie De Koninck, Tom Schrijvers, Bart Demoen

10. Executable denotations for concurrent languages using Concurrent Transaction Logic
Author: Marcus Vinicius Santos

11. Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR
Author: Marc Meister

12. Evaluating ASP and commercial solvers on the CSPLib (Preliminary work)
Authors: Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi.

13. Complete First-Order Axiomatization of Finite or Infinite M-extended Trees
Authors: Khalil Djelloul and Thi-Bich-Hanh Dao

14. ORCAS: Towards a CHR-Based Model-Driven Framework of Reusable Reasoning Components
Authors: Jacques Robin and Jairson Vitorino

15. Logic Programs with Contextually Scoped Negation
Author: Axel Polleres

16. Decomposition of Nonmonotone Aggregates in Answer Set Programming
Author: Wolfgang Faber

17. Replacements in Non-Ground Answer-Set Programming
Authors: Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, and Stefan Woltran

18. Declarative Web data extraction and annotation
Authors: Carlo Bernardoni, Giacomo Fiumara, Massimo Marchi, and Alessandro Provetti

System Descriptions:

S1. A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results
Authors: Johannes Oetsch, Martina Seidl, Hans Tompits, and Stefan Woltran

S2. dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework
Authors: Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits
Webpage maintained by Stefan Woltran