AMAI
2010
Springer
15 years 5 hour ago
2010
Springer
117
Voted
AMAI
2010
Springer
15 years 5 hour 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...
120
Voted
AMAI
2010
Springer
15 years 5 hour 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
15 years 5 hour ago
2010
Springer
129
Voted
AMAI
2010
Springer
15 years 5 hour 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 ...
112
click to vote
AMAI
2010
Springer
15 years 5 hour 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...
79
Voted
AMAI
2010
Springer
15 years 5 hour ago
2010
Springer
AMAI
2010
Springer
15 years 5 hour ago
2010
Springer
