20. WLP 2006: Vienna, Austria

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

• 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
  

• 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
  

• 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
  

• 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
  

• 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
  

• 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
  

• 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