AMAI
2010
Springer
15 years 29 days ago
2010
Springer
125
Voted
AMAI
2010
Springer
15 years 29 days 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...
130
Voted
AMAI
2010
Springer
15 years 29 days 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...
140
click to vote
AMAI
2010
Springer
15 years 29 days 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 ...
123
Voted
AMAI
2010
Springer
15 years 29 days 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...
88
Voted
AMAI
2010
Springer
15 years 29 days ago
2010
Springer
103
Voted
AMAI
2010
Springer
15 years 29 days ago
2010
Springer
