Abstract is missing.
- XML Transformations based on Logic ProgrammingDietmar Seipel, Klaus Prätor. 5-16
- A PROLOG Tool for Slicing Source CodeMarbod Hopfner, Dietmar Seipel, Joachim Baumeister. 17-28
- Combining Domain Splitting with Network Decomposition for Application in Model-Based EngineeringRüdiger Lunde. 29-40
- Towards an Object-Oriented Modeling of Constraint ProblemsArmin Wolf, Henry Müller, Matthias Hoche. 41-52
- Expressing Interaction in Combinatorial Auction through Social Integrity ConstraintsMarco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni. 53-64
- Level Mapping Characterizations of Selector Generated Models for Logic ProgramsPascal Hitzler, Sibylle Schwarz. 65-75
- Truth and knowledge fixpoint semantics for many-valued logic programmingZoran Majkic. 76-87
- Impact- and Cost-Oriented Propagator Scheduling for Faster Constraint PropagationGeorg Ringwelski, Matthias Hoche. 88-98
- Static and dynamic variable sorting strategies for backtracking-based search algorithmsHenry Müller. 99-110
- The CHR-based Implementation of a System for Generation and Confirmation of HypothesesMarco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma. 111-122
- Guard Simplification in CHR programsJon Sneyers, Tom Schrijvers, Bart Demoen. 123-134
- Analysing the CHR Implementation of Union-FindTom Schrijvers, Thom W. Frühwirth. 135-146
- DB CSPA Framework and Algorithms for Applying Constraint Solving within Relational DatabasesChuang Liu, Ian T. Foster. 147-158
- Meta-S - Combining Solver Cooperation and Programming LanguagesStephan Frank, Petra Hofstedt, Dirk Reckmann. 159-162
- Cmodels for Tight Disjunctive Logic ProgramsYuliya Lierler. 163-166