Sciweavers

Share
AMAI
2010
Springer
9 years 9 months ago
Geometry of relative plausibility and relative belief of singletons
The study of the interplay between belief and probability can be posed in a geometric framework, in which belief and plausibility functions are represented as points of simplices i...
Fabio Cuzzolin
AMAI
2010
Springer
9 years 9 months ago
Efficient approximate verification of B and Z models via symmetry markers
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
Michael Leuschel, Thierry Massart
AMAI
2010
Springer
9 years 9 months ago
Interval-valued soft constraint problems
Constraints and quantitative preferences, or costs, are very useful for modelling many real-life problems. However, in many settings, it is difficult to specify precise preference ...
Mirco Gelain, Maria Silvia Pini, Francesca Rossi, ...
AMAI
2010
Springer
9 years 9 months ago
Comparing multiagent systems research in combinatorial auctions and voting
In a combinatorial auction, a set of resources is for sale, and agents can bid on subsets of these resources. In a voting setting, the agents decide among a set of alternatives by...
Vincent Conitzer
AMAI
2010
Springer
9 years 9 months ago
Planning in partially-observable switching-mode continuous domains
Emma Brunskill, Leslie Pack Kaelbling, Tomá...
books