19. W(C)LP 2005:
Ulm,
Germany
Armin Wolf, Thom W. Frühwirth, Marc Meister (Eds.):
19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005.
Ulmer Informatik-Berichte 2005-01 Universität Ulm, Germany 2005 
Online Edition
Citation Page
Full Papers
- Dietmar Seipel, Klaus Prätor:
XML Transformations based on Logic Programming.
5-16
- Marbod Hopfner, Dietmar Seipel, Joachim Baumeister:
A PROLOG Tool for Slicing Source Code.
17-28
- Rüdiger Lunde:
Combining Domain Splitting with Network Decomposition for Application in Model-Based Engineering.
29-40
- Armin Wolf, Henry Müller, Matthias Hoche:
Towards an Object-Oriented Modeling of Constraint Problems.
41-52
- 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.
53-64
- Pascal Hitzler, Sibylle Schwarz:
Level Mapping Characterizations of Selector Generated Models for Logic Programs.
65-75
- Zoran Majkic:
Truth and knowledge fixpoint semantics for many-valued logic programming.
76-87
- Georg Ringwelski, Matthias Hoche:
Impact- and Cost-Oriented Propagator Scheduling for Faster Constraint Propagation.
88-98
- Henry Müller:
Static and dynamic variable sorting strategies for backtracking-based search algorithms.
99-110
- Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma:
The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses.
111-122
- Jon Sneyers, Tom Schrijvers, Bart Demoen:
Guard Simplification in CHR programs.
123-134
- Tom Schrijvers, Thom W. Frühwirth:
Analysing the CHR Implementation of Union-Find.
135-146
- Chuang Liu, Ian T. Foster:
DB CSPA Framework and Algorithms for Applying Constraint Solving within Relational Databases.
147-158
System Descriptions
Copyright © Sun Nov 15 05:20:31 2009
by Michael Ley (ley@uni-trier.de)
