AMAI
2010
Springer
13 years 2 months ago
2010
Springer
AMAI
2010
Springer
13 years 2 months ago
2010
Springer
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...
AMAI
2010
Springer
13 years 2 months ago
2010
Springer
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...
AMAI
2010
Springer
13 years 2 months ago
2010
Springer
AMAI
2010
Springer
13 years 2 months ago
2010
Springer
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 ...
AMAI
2010
Springer
13 years 2 months ago
2010
Springer
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...
AMAI
2010
Springer
13 years 2 months ago
2010
Springer
AMAI
2010
Springer
13 years 2 months ago
2010
Springer
