Proceedings of TARK XII (2009)

Edited by Aviad Heifetz 


July 6-8, 2009

Stanford, California


Designing markets: economics, computer science and the real world [PDF]
Susan Athey (invited paper)


Origins of epistemics [PDF]
Adam Brandenburger (invited paper)

Considerations on the logic of intention [PDF]
Yoav Shoham (invited paper)

Common knowledge in interaction structures [PDF]
Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper

Logical omniscience as a computational complexity problem [PDF]
Sergei Artemov, Roman Kuznets

BMS revisited [PDF]
Guillaume Aucher

Limit knowledge of rationality [PDF]
Christian W. Bach, Jeremie Cabessa

Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades [PDF]
Alexandru Baltag, Sonja Smets

Contractual traps [PDF]
Ying-Ju Chen, Xiaojian Zhao

Deriving epistemic conclusions from agent architecture [PDF]
Stephen Chong, Ron van der Meyden

Generalized inquisitive logic: completeness via intuitionistic Kripke models [PDF]
Ivano Ciardelli, Floris Roelofsen

Knowledge, proof and the Knower [PDF]
Walter Dean, Hidenori Kurokawa

Agreement theorems in dynamic-epistemic logic [PDF]
Cedric Degremont, Olivier Roy

A computational theory of awareness and decision making [PDF]
Nikhil R. Devanur, Lance Fortnow

On distance rationalizability of some voting rules [PDF]
Edith Elkind, Piotr Faliszewski, Arkadii Slinko

The shield that never was: societies with single-peaked preferences are more open to manipulation and control [PDF]
Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jrg Rothe


Program equilibria and discounted computation time [PDF]
Lance Fortnow

The context of the game [PDF]
Amanda Friedenberg, Martin Meier

Syntactic foundations for unawareness of theorems [PDF]
Spyros Galanis

A logical characterization of iterated admissibility [PDF]
Joseph Y. Halpern, Rafael Pass

An epistemic characterization of zero knowledge [PDF]
Joseph Y. Halpern, Rafael Pass, Vasumathi Raman

Reasoning about knowledge of unawareness revisited [PDF]
Joseph Y. Halpern, Leandro C. Rgo

K-SNCC: group deviations in subsidized non-cooperative computing [PDF]
Andrey Klinger, Moshe Tennenholtz

Projective expected utility: a subjective formulation [PDF]
Pierfrancesco La Mura

Foundations of non-commutative probability theory [PDF]
Daniel Lehmann

Rationality and the speed of decision-making [PDF]
Michael Mandler

On interdependence of secrets in collaboration networks [PDF]
Sara Miner More, Pavel Naumov

Dynamic restriction of choices: a preliminary logical report [PDF]
Soumya Paul, R. Ramanujam, Sunil Simon

Evidence elimination in multi-agent justification logic [PDF]
Bryan Renne

A logic of propositional control for truthful implementations [PDF]
Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge

Solutions of strategic games under common belief of sure-thing principle [PDF]
Michael Trost

Verifying epistemic protocols under common knowledge [PDF]
Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck