Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th WLP 2006: Vienna, Austria
- Michael Fink, Hans Tompits, Stefan Woltran:
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
- 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-10 18:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
