![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
12th TARK 2009: Stanford, CA, USA
- Aviad Heifetz:
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009. 2009
Invited papers
- Susan Athey:
Designing markets: economics, computer science and the real world. 1 - Adam Brandenburger:
Origins of epistemics. 2 - Yoav Shoham:
Considerations on the logic of intention. 3
Contributed papers
- Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper:
Common knowledge in interaction structures. 4-13 - Sergei N. Artëmov, Roman Kuznets
:
Logical omniscience as a computational complexity problem. 14-23 - Guillaume Aucher:
BMS revisited. 24-33 - Christian W. Bach, Jérémie Cabessa
:
Limit knowledge of rationality. 34-40 - Alexandru Baltag, Sonja Smets
:
Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. 41-50 - Ying-Ju Chen, Xiaojian Zhao:
Contractual traps. 51-60 - Stephen Chong, Ron van der Meyden
:
Deriving epistemic conclusions from agent architecture. 61-70 - Ivano Ciardelli, Floris Roelofsen:
Generalized inquisitive logic: completeness via intuitionistic Kripke models. 71-80 - Walter Dean, Hidenori Kurokawa:
Knowledge, proof and the Knower. 81-90 - Cédric Dégremont, Olivier Roy
:
Agreement theorems in dynamic-epistemic logic. 91-98 - Nikhil R. Devanur, Lance Fortnow:
A computational theory of awareness and decision making. 99-107 - Edith Elkind, Piotr Faliszewski
, Arkadii M. Slinko:
On distance rationalizability of some voting rules. 108-117 - Piotr Faliszewski
, Edith Hemaspaandra, Lane A. Hemaspaandra
, Jörg Rothe:
The shield that never was: societies with single-peaked preferences are more open to manipulation and control. 118-127 - Lance Fortnow:
Program equilibria and discounted computation time. 128-133 - Amanda Friedenberg, Martin Meier:
The context of the game. 134-135 - Spyros Galanis
:
Syntactic foundations for unawareness of theorems. 136-145 - Joseph Y. Halpern, Rafael Pass
:
A logical characterization of iterated admissibility. 146-155 - Joseph Y. Halpern, Rafael Pass
, Vasumathi Raman:
An epistemic characterization of zero knowledge. 156-165 - Joseph Y. Halpern, Leandro Chaves Rêgo:
Reasoning about knowledge of unawareness revisited. 166-173 - Andrey Klinger, Moshe Tennenholtz:
K-SNCC: group deviations in subsidized non-cooperative computing. 174-183 - Pierfrancesco La Mura
:
Projective expected utility: a subjective formulation. 184-192 - Daniel Lehmann:
Foundations of non-commutative probability theory. 193-200 - Michael Mandler:
Rationality and the speed of decision-making. 201-207 - Sara Miner More, Pavel Naumov
:
On interdependence of secrets in collaboration networks. 208-217 - Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon:
Dynamic restriction of choices: a preliminary logical report. 218-226 - Bryan Renne:
Evidence elimination in multi-agent justification logic. 227-236 - Nicolas Troquard
, Wiebe van der Hoek, Michael J. Wooldridge:
A logic of propositional control for truthful implementations. 237-246 - Michael Trost:
Solutions of strategic games under common belief of sure-thing principle. 247-256 - Yanjing Wang
, Lakshmanan Kuppusamy, Jan van Eijck:
Verifying epistemic protocols under common knowledge. 257-266
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.