default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th 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
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.
last updated on 2026-04-25 00:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
