1616 search results - page 237 / 324 » Robust game theory |
SIGECOM
2006
ACM
14 years 2 months ago
2006
ACM
Our proposed methods employ learning and search techniques to estimate outcome features of interest as a function of mechanism parameter settings. We illustrate our approach with ...
LICS
2005
IEEE
14 years 2 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
APN
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. High-Level net models following the paradigm ānets as tokensā have been studied already in the literature with several interesting applications. In this paper we prop...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in speciļ¬cations of multi-agent system dynamics. ...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
State estimation consists of updating an agentās belief given executed actions and observed evidence to date. In single agent environments, the state estimation can be formalize...