Conferences in DBLP

Workshop Logische Programmierung (wlp)
2006 (conf/wlp/2006)

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