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, Jörg 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. Rêgo

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