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

Invited Papers

Torsten Schaub:
Tableaux Calculi for Answer Set Programming. 1-11
Reinhard Pichler:
Algorithmic Aspects of Model Representations. 12-20

Tutorials

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

Regular Papers

Applications

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

Programming Aspects

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

Theory

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

Semantic Web

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

Answer-Set Programming

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

Constraint-Handling Rules

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

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
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits:
dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. 206-210

Last update Fri May 25 08:49:32 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page