20. WLP 2006: Vienna, Austria

Michael Fink, Hans Tompits, Stefan Woltran (Eds.): 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006. INFSYS Research Report 1843-06-02 Technische Universität Wien, Austria 2006 BibTeX

Invited Papers

Torsten Schaub:
Tableaux Calculi for Answer Set Programming. 1-11
Electronic Edition (link) BibTeX
Reinhard Pichler:
Algorithmic Aspects of Model Representations. 12-20
Electronic Edition (link) BibTeX

Tutorials

Armin Wolf:
Object-Oriented Constraint Programming in Java Using the Library firstcs. 21-32
Electronic Edition (link) BibTeX
Ulrich Geske:
How to Teach Difference Lists? 33-34
Electronic Edition (link) BibTeX

Regular Papers

Applications

Paolo Ferraris:
Causal Theories as Logic Programs. 35-44
Electronic Edition (link) BibTeX
Kathrin Konczak:
Voting Theory in Answer Set Programming. 45-53
Electronic Edition (link) BibTeX
Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi:
Evaluating ASP and commercial solvers on the CSPLib (Preliminary work). 54-63
Electronic Edition (link) BibTeX
Jozef Siska:
Dynamic Logic Programming and world state evaluation in computer games. 64-70
Electronic Edition (link) BibTeX

Programming Aspects

Marcus Vinicius Santos:
Executable denotations for concurrent languages using Concurrent Transaction Logic. 71-80
Electronic Edition (link) BibTeX
Michael Hanus:
Adding Constraint Handling Rules to Curry. 81-90
Electronic Edition (link) BibTeX
Leslie De Koninck, Tom Schrijvers, Bart Demoen:
INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. 91-100
Electronic Edition (link) BibTeX

Theory

Ján Sefránek:
Non-monotonic Integrity Constraints. 101-110
Electronic Edition (link) BibTeX
Khalil Djelloul, Thi-Bich-Hanh Dao:
Complete First-Order Axiomatization of Finite or Infinite M-extended Trees. 111-119
Electronic Edition (link) BibTeX
Zoran Majkic:
Many-valued Logic Programming and Fixpoint Semantics for Higher-order Herbrand Models. 120-128
Electronic Edition (link) BibTeX

Semantic Web

Axel Polleres:
Logic Programs with Contextually Scoped Negation. 129-136
Electronic Edition (link) BibTeX
Carlo Bernardoni, Giacomo Fiumara, Massimo Marchi, Alessandro Provetti:
Declarative Web data extraction and annotation. 137-144
Electronic Edition (link) BibTeX

Answer-Set Programming

Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran:
Replacements in Non-Ground Answer-Set Programming. 145-153
Electronic Edition (link) BibTeX
Kathrin Konczak:
Weak Order Equivalence for Logic Programs with Preferences. 154-163
Electronic Edition (link) BibTeX
Wolfgang Faber:
Decomposition of Nonmonotone Aggregates in Answer Set Programming. 164-171
Electronic Edition (link) BibTeX

Constraint-Handling Rules

Marc Meister:
Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR. 172-181
Electronic Edition (link) BibTeX
Jon Sneyers, Tom Schrijvers, Bart Demoen:
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. 182-191
Electronic Edition (link) BibTeX
Jacques Robin, Jairson Vitorino:
ORCAS: Towards a CHR-Based Model-Driven Framework of Reusable Reasoning Components. 192-199
Electronic Edition (link) BibTeX

System Descritpions

Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran:
A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results. 200-205
Electronic Edition (link) BibTeX
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits:
dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. 206-210
Electronic Edition (link) BibTeX