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