The biannual conferences bring together researchers from a wide variety of fields sharing a common interest in reasoning about rationality and knowledge. the impact of this tradition, going back to 1986, is apparent in many of today's research trends and in the growth of an intellectual community beyond traditional disciplinary boundaries. this volume documents the eleventh conference, held in Brussels, Belgium, in June 2007. it includes contributed papers, 3 invited talks. Like earlier volumes in this series, it gives a window of the state of the art in studies of knowledge and information flow in areas such as probability, linguistic semantics, logics for communication, belief revision, game theory, and interactions between these. should be of value for researchers, teachers, and students alike.
Forward . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . i
Invited Papers:
No Regrets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1
Frank Arntzenius
Learning, Regret Minimization and Option Pricing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Yishay Mansour
Games, Geometry, and the Computational Complexity of Finding Equilibria . . . . . .. . . . . . . . . . . . . . . . . . . 4
Bernhard von Stengel
Contributed Papers:
Full and Relative Awareness: A Decidable Logic for Reasoning about Knowledge of Unawareness . . . . . . . . . . . . . . . 6
Thomas Agotnes and Natasha Alechina.
Alternating-time Temporal Logics with Irrevocable Strategies . . . . . . . . . . . . . . . . . . . . . . . .15
Thomas Agotnes, Valentin Goranko and Wojtek Jamroga
Epistemic Analysis of Strategic Games with Arbitrary Strategy Sets . . . . . . . . . . . .. . . . . . . . . . . . . . . . 25
Krzysztof Apt
Commonsense Reasoning by Distance Semantics . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . 33
Ofer Arieli
What can we achieve by arbitrary announcements? - A dynamic take on Fitch's knowability . . . . . . . . . . . . . . . . . . . . 42
Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tiago De Lima and Tomohiro Hoshi From Conditional Probability to the Logic of Doxastic Actions . . . . . . . . .52
Alexandru Baltag and Sonja Smets.
Knowledge-based modeling of voting protocols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
A. Baskar, R. Ramanujam and S.P. Suresh
Merging Frameworks for Interaction: DEL and ETL . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . .72
Johan van Benthem, Jelle Gerbrandy and Eric Pacuit
The Computational Complexity of Choice Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
Felix Brandt, Felix Fischer and Paul Harrenstein
A Normal Simulation of Coalition Logic and an Epistemic Extension . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
Jan Broersen, Andreas Herzig and Nicolas Troquard
Limited Verification of Identities to Induce False-Name-Proofness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .102
Vincent Conitzer
Imaging and Sleeping Beauty: A Case for Double-Halfers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
Mikael Cozic
Inexact Knowledge, Margin for Error and Positive Introspection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
Julien Dutant
Vote Manipulation in the Presence of Multiple Sincere Ballots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
Ulle Endriss
Incorporating Unawareness into Contract Theory . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
Emel Filiz
Theorems and Unawareness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .145
Spyros Galanis
Common p-belief and uncertainty . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .155
Jayant Ganguli
A Flexible Mechanism for Dialogue Design . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .160
Jelle Gerbrandy, Guido Boella and Joris Hulstijn
Dealing With Logical Omniscience . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169
Joseph Halpern and Riccardo Pucella
A Canonical Model for Interactive Unawareness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
Aviad Heifetz, Martin Meier and Burkhard Schipper
Unawareness, Beliefs and Games . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .183
Aviad Heifetz, Martin Meier and Burkhard Schipper
Explaining Quantity Implicatures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .193
Tikitu de Jager and Robert van Rooij
Communication, consensus and order. Who wants to speak first? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 203
Lucie Menager and Nicolas Houy.
Preservation of Epistemic Properties in Security Protocol Implementations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 212
Ron van der Meyden and Thomas Wilke
Robust Equilibria Under Non-Common Priors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222
Daisuke Oyama and Olivier Tercieux
Unawareness and Strategic Announcements in Games with Uncertainty . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231
Erkut Ozbay
Perfect Cryptography, S5 Knowledge, and Algorithmic Knowledge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 239
Sabina Petride and Riccardo Pucella
Judgment aggregation and the problem of truth-tracking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 248
Gabriella Pigozzi and Stephan Hartmann
Generalized Solution Concepts in Games with Possibly Unaware Players . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .253
Leandro Rego and Joseph Halpern
Convergence of Behavior in Social Networks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .263
Dinah Rosenberg, Eilon Solan and Nicolas Vieille
Alternating-time Temporal Logic with Explicit Strategies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .269
Dirk Walther, Wiebe van der Hoek and Michael Wooldridge
Sequential voting rules and multiple elections paradoxes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .279
Lirong Xia, Jerome Lang and Mingsheng Ying
Author index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . 289