WLP
2005
Springer
14 years 4 months ago
2005
Springer
WLP
2005
Springer
14 years 4 months ago
2005
Springer
WLP
2005
Springer
14 years 4 months ago
2005
Springer
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...
WLP
2005
Springer
14 years 4 months ago
2005
Springer
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...
WLP
2005
Springer
14 years 4 months ago
2005
Springer
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...
WLP
2005
Springer
14 years 4 months ago
2005
Springer
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...