Sciweavers

28 search results - page 3 / 6
» tark 2007
Sort
View
TARK
2007
Springer
13 years 11 months ago
Sequential voting rules and multiple elections paradoxes
Multiple election paradoxes arise when voting separately on each issue from a set of related issues results in an obviously undesirable outcome. Several authors have argued that a...
Lirong Xia, Jérôme Lang, Mingsheng Yi...
TARK
2007
Springer
13 years 11 months ago
Preservation of epistemic properties in security protocol implementations
We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...
Ron van der Meyden, Thomas Wilke
TARK
2007
Springer
13 years 11 months ago
A flexible mechanism for dialogue design
In this paper is we apply insights from mechanism design to the design of agent interaction protocols. We show how this allows us a more flexible approach to the design of agent ...
Guido Boella, Jelle Gerbrandy, Joris Hulstijn
TARK
2007
Springer
13 years 11 months ago
Robust equilibria under non-common priors
This paper considers the robustness of equilibria to a small amount of incomplete information, where players are allowed to have heterogenous priors. An equilibrium of a complete ...
Daisuke Oyama, Olivier Tercieux
TARK
2007
Springer
13 years 11 months ago
Generalized solution concepts in games with possibly unaware players
Most work in game theory assumes that players are perfect reasoners and have common knowledge of all significant aspects of the game. In earlier work [Halpern and Rˆego 2006], w...
Leandro Chaves Rêgo, Joseph Y. Halpern