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