Sciweavers

6 search results - page 1 / 2
» wlp 2005
Sort
View
WLP
2005
Springer
13 years 10 months ago
Analysing the CHR Implementation of Union-Find
Tom Schrijvers, Thom W. Frühwirth
WLP
2005
Springer
13 years 10 months ago
Guard Simplification in CHR programs
Jon Sneyers, Tom Schrijvers, Bart Demoen
WLP
2005
Springer
13 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
13 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
WLP
2005
Springer
13 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...