12. TARK 2009:
Stanford,
CA,
USA
Aviad Heifetz (Ed.):
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009.
2009
Invited papers
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, R. 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 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
Copyright © Tue Nov 24 20:41:52 2009
by Michael Ley (ley@uni-trier.de)