WLP

Keyphrases

Publications

2006

Kathrin Konczak
Voting Theory in Answer Set Programming. WLP (2006)
Marcus Vinicius Santos
Executable denotations for concurrent languages using Concurrent Transaction Logic. WLP (2006)
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. WLP (2006)
Axel Polleres
Logic Programs with Contextually Scoped Negation. WLP (2006)
Paolo Ferraris
Causal Theories as Logic Programs. WLP (2006)
Jon Sneyers, Tom Schrijvers, Bart Demoen
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. WLP (2006)
Armin Wolf
Object-Oriented Constraint Programming in Java Using the Library firstcs. WLP (2006)
Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi
Evaluating ASP and commercial solvers on the CSPLib (Preliminary work). WLP (2006)
Reinhard Pichler
Algorithmic Aspects of Model Representations. WLP (2006)
Jozef Siska
Dynamic Logic Programming and world state evaluation in computer games. WLP (2006)
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results. WLP (2006)
Ulrich Geske
How to Teach Difference Lists? WLP (2006)
Leslie De Koninck, Tom Schrijvers, Bart Demoen
INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. WLP (2006)
Ján Sefránek
Non-monotonic Integrity Constraints. WLP (2006)
Carlo Bernardoni, Giacomo Fiumara, Massimo Marchi, Alessandro Provetti
Declarative Web data extraction and annotation. WLP (2006)
Zoran Majkic
Many-valued Logic Programming and Fixpoint Semantics for Higher-order Herbrand Models. WLP (2006)
Wolfgang Faber
Decomposition of Nonmonotone Aggregates in Answer Set Programming. WLP (2006)
Khalil Djelloul, Thi-Bich-Hanh Dao
Complete First-Order Axiomatization of Finite or Infinite M-extended Trees. WLP (2006)
Jacques Robin, Jairson Vitorino
ORCAS: Towards a CHR-Based Model-Driven Framework of Reusable Reasoning Components. WLP (2006)
20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006 WLP (2006)
Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran
Replacements in Non-Ground Answer-Set Programming. WLP (2006)
Marc Meister
Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR. WLP (2006)
Kathrin Konczak
Weak Order Equivalence for Logic Programs with Preferences. WLP (2006)
Torsten Schaub
Tableaux Calculi for Answer Set Programming. WLP (2006)
Michael Hanus
Adding Constraint Handling Rules to Curry. WLP (2006)

2000

volume 110, 2000

WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000. WLP 110 (2000)

volume 90, 2000

14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000. WLP 90 (2000)