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