Online Proceedings - WLP 2006
Michael Fink, Hans Tompits, Stefan Woltran (eds.):
20th Workshop on Logic Programming (WLP 2006),
Vienna, Austria, February 22-24, 2006.
INFSYS Research Report 1843-06-02, TU Wien, 2006. bibtex.
Invited Papers
Tableaux Calculi for Answer Set Programming.
pp 1-11
Torsten Schaub
Algorithmic Aspects of Model Representations.
pp 12-20
Reinhard Pichler
Tutorials
Object-Oriented Constraint Programming in Java Using the Library firstcs.
pp 21-32
Armin Wolf
How to Teach Difference Lists?
pp 33-34
Ulrich Geske
Regular Papers
Applications
Causal Theories as Logic Programs.
pp 35-44
Paolo Ferraris
Voting Theory in Answer Set Programming.
pp 45-53
Kathrin Konczak
Evaluating ASP and commercial solvers on the CSPLib (Preliminary
work).
pp 54-63
Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi.
Dynamic Logic Programming and world state evaluation in computer
games.
pp 64-70
Jozef Siska
Programming Aspects
Executable denotations for concurrent languages using Concurrent
Transaction Logic.
pp 71-80
Marcus Vinicius Santos
Adding Constraint Handling Rules to Curry.
pp 81-90
Michael Hanus
INCLP(R) - Interval-based Nonlinear Constraint Logic Programming
over the Reals.
pp 91-100
Leslie De Koninck, Tom Schrijvers, Bart Demoen
Theory
Non-monotonic Integrity Constraints.
pp 101-110
Jan Sefranek
Complete First-Order Axiomatization of Finite or Infinite M-extended
Trees.
pp 111-119
Khalil Djelloul and Thi-Bich-Hanh Dao
Many-valued Logic Programming and Fixpoint Semantics for
Higher-order Herbrand Models.
pp 120-128
Zoran Majkic
Semantic Web
Logic Programs with Contextually Scoped Negation.
pp 129-136
Axel Polleres
Declarative Web data extraction and annotation.
pp 137-144
Carlo Bernardoni, Giacomo Fiumara, Massimo Marchi, and
Alessandro Provetti
Answer-Set Programming
Replacements in Non-Ground Answer-Set Programming.
pp 145-153
Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, and
Stefan Woltran
Weak Order Equivalence for Logic Programs with Preferences.
pp 154-163
Kathrin Konczak
Decomposition of Nonmonotone Aggregates in Answer Set Programming.
pp 164-171
Wolfgang Faber
Constraint-Handling Rules
Fine-grained Parallel Implementation of the Preflow-Push Algorithm
in CHR.
pp 172-181
Marc Meister
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description
in CHR.
pp 182-191
Jon Sneyers, Tom Schrijvers, Bart Demoen
ORCAS: Towards a CHR-Based Model-Driven Framework of Reusable
Reasoning Components.
pp 192-199
Jacques Robin and Jairson Vitorino
System Descritpions
A Tool for Advanced Correspondence Checking in Answer-Set
Programming: Preliminary Experimental Results.
pp 200-205
Johannes Oetsch, Martina Seidl, Hans Tompits, and Stefan
Woltran
dlvhex: A System for Integrating Multiple Semantics in an
Answer-Set Programming Framework.
pp 206-210
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans
Tompits
Webpage maintained by Stefan Woltran