Sciweavers

5158 search results - page 28 / 1032
» Generalization of the Dempster-Shafer Theory
Sort
View
FSTTCS
2007
Springer
14 years 1 months ago
A Theory for Game Theories
Abstract. We explain a double-category (of positions and plays) attached to the theory of HOgames (those with the so-called switching condition [7]) from which the category of aren...
Michel Hirschowitz, André Hirschowitz, Tom ...
ICALP
2007
Springer
13 years 11 months ago
A Generalization of Cobham's Theorem to Automata over Real Numbers
Abstract. This paper studies the expressive power of finite-state automata recognizing sets of real numbers encoded positionally. It is known that the sets that are definable in th...
Bernard Boigelot, Julien Brusten
CAV
2009
Springer
182views Hardware» more  CAV 2009»
14 years 2 months ago
Generalizing DPLL to Richer Logics
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagi...
MANSCI
2007
88views more  MANSCI 2007»
13 years 7 months ago
Resolving Inconsistencies in Utility Measurement Under Risk: Tests of Generalizations of Expected Utility
This paper explores biases in the elicitation of utilities under risk and the contribution that generalizations of expected utility can make to the resolution of these biases. We ...
Han Bleichrodt, Jose Maria Abellan-Perpiñan...
ATAL
2010
Springer
13 years 8 months ago
Dependence theory via game theory
In the multi-agent systems community, dependence theory and game theory are often presented as two alternative perspectives on the analysis of social interaction. Up till now no r...
Davide Grossi, Paolo Turrini