Sciweavers

WLP
2005
Springer
13 years 9 months ago
Guard Simplification in CHR programs
Jon Sneyers, Tom Schrijvers, Bart Demoen
WLP
2005
Springer
13 years 9 months ago
Analysing the CHR Implementation of Union-Find
Tom Schrijvers, Thom W. Frühwirth
WLP
2005
Springer
13 years 9 months ago
Impact- and Cost-Oriented Propagator Scheduling for Faster Constraint Propagation
Constraint Propagation can be speeded up significantly by choosing a good execution order for propagators. A propagator is an implicit representation of a constraint which is wide...
Georg Ringwelski, Matthias Hoche
WLP
2005
Springer
13 years 9 months ago
Meta-S - Combining Solver Cooperation and Programming Languages
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
Stephan Frank, Petra Hofstedt, Dirk Reckmann
WLP
2005
Springer
13 years 9 months ago
Level Mapping Characterizations of Selector Generated Models for Logic Programs
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated sema...
Pascal Hitzler, Sibylle Schwarz
WLP
2005
Springer
13 years 9 months ago
Expressing Interaction in Combinatorial Auction through Social Integrity Constraints
Abstract. Combinatorial Auctions are an attractive application of intelligent agents; their applications are countless and are shown to provide good revenues. On the other hand, on...
Marco Alberti, Federico Chesani, Alessio Guerri, M...