Sciweavers

111
Voted
WLP
2005
Springer
15 years 10 months ago
Guard Simplification in CHR programs
Jon Sneyers, Tom Schrijvers, Bart Demoen
105
Voted
WLP
2005
Springer
15 years 10 months ago
Analysing the CHR Implementation of Union-Find
Tom Schrijvers, Thom W. Frühwirth
128
Voted
WLP
2005
Springer
15 years 10 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
15 years 10 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
128
Voted
WLP
2005
Springer
15 years 10 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
133
Voted
WLP
2005
Springer
15 years 10 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...