Conferences in DBLP

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

1. Dietmar Seipel, Klaus Prätor
   XML Transformations based on Logic Programming. [Citation Graph (0, 0)][DBLP]
   W(C)LP, 2005, pp:5-16 [Conf]
   
2. Marbod Hopfner, Dietmar Seipel, Joachim Baumeister
   A PROLOG Tool for Slicing Source Code. [Citation Graph (0, 0)][DBLP]
   W(C)LP, 2005, pp:17-28 [Conf]
   
3. Rüdiger Lunde
   Combining Domain Splitting with Network Decomposition for Application in Model-Based Engineering. [Citation Graph (0, 0)][DBLP]
   W(C)LP, 2005, pp:29-40 [Conf]
   
4. Armin Wolf, Henry Müller, Matthias Hoche
   Towards an Object-Oriented Modeling of Constraint Problems. [Citation Graph (0, 0)][DBLP]
   W(C)LP, 2005, pp:41-52 [Conf]
   
5. Marco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni
   Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. [Citation Graph (0, 0)][DBLP]
   W(C)LP, 2005, pp:53-64 [Conf]
   
6. Pascal Hitzler, Sibylle Schwarz
   Level Mapping Characterizations of Selector Generated Models for Logic Programs. [Citation Graph (0, 0)][DBLP]
   W(C)LP, 2005, pp:65-75 [Conf]
   
7. Zoran Majkic
   Truth and knowledge fixpoint semantics for many-valued logic programming. [Citation Graph (0, 0)][DBLP]
   W(C)LP, 2005, pp:76-87 [Conf]
   
8. Georg Ringwelski, Matthias Hoche
   Impact- and Cost-Oriented Propagator Scheduling for Faster Constraint Propagation. [Citation Graph (0, 0)][DBLP]
   W(C)LP, 2005, pp:88-98 [Conf]
   
9. Henry Müller
   Static and dynamic variable sorting strategies for backtracking-based search algorithms. [Citation Graph (0, 0)][DBLP]
   W(C)LP, 2005, pp:99-110 [Conf]
   
10. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma
    The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. [Citation Graph (0, 0)][DBLP]
    W(C)LP, 2005, pp:111-122 [Conf]
    
11. Jon Sneyers, Tom Schrijvers, Bart Demoen
    Guard Simplification in CHR programs. [Citation Graph (0, 0)][DBLP]
    W(C)LP, 2005, pp:123-134 [Conf]
    
12. Tom Schrijvers, Thom W. Frühwirth
    Analysing the CHR Implementation of Union-Find. [Citation Graph (0, 0)][DBLP]
    W(C)LP, 2005, pp:135-146 [Conf]
    
13. Chuang Liu, Ian T. Foster
    DB CSPA Framework and Algorithms for Applying Constraint Solving within Relational Databases. [Citation Graph (0, 0)][DBLP]
    W(C)LP, 2005, pp:147-158 [Conf]
    
14. Stephan Frank, Petra Hofstedt, Dirk Reckmann
    Meta-S - Combining Solver Cooperation and Programming Languages. [Citation Graph (0, 0)][DBLP]
    W(C)LP, 2005, pp:159-162 [Conf]
    
15. Yuliya Lierler
    Cmodels for Tight Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
    W(C)LP, 2005, pp:163-166 [Conf]