11. TARK 2007: Brussels, Belgium

Invited papers

• Frank Arntzenius:
  No regrets: or: Edith Piaf revamps decision theory. 1
  
• Yishay Mansour:
  Learning, regret minimization and option pricing. 2-3
  
• Bernhard von Stengel:
  Games, geometry, and the computational complexity of finding equilibria. 4-5
  

Contributed papers

• Thomas Ågotnes, Natasha Alechina:
  Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. 6-14
  
• Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga:
  Alternating-time temporal logics with irrevocable strategies. 15-24
  
• Krzysztof R. Apt:
  Epistemic analysis of strategic games with arbitrary strategy sets. 25-32
  
• Ofer Arieli:
  Commonsense reasoning by distance semantics. 33-41
  
• Philippe Balbiani, Alexandru Baltag, Hans P. van Ditmarsch, Andreas Herzig, T. Hoshi, Tiago De Lima:
  What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. 42-51
  
• Alexandru Baltag, Sonja Smets:
  From conditional probability to the logic of doxastic actions. 52-61
  
• A. Baskar, Ramaswamy Ramanujam, S. P. Suresh:
  Knowledge-based modelling of voting protocols. 62-71
  
• Johan van Benthem, Jelle Gerbrandy, Eric Pacuit:
  Merging frameworks for interaction: DEL and ETL. 72-81
  
• Felix Brandt, Felix A. Fischer, Paul Harrenstein:
  The computational complexity of choice sets. 82-91
  
• Jan Broersen, Andreas Herzig, Nicolas Troquard:
  A normal simulation of coalition logic and an epistemic extension. 92-101
  
• Vincent Conitzer:
  Limited verification of identities to induce false-name-proofness. 102-111
  
• Mikal Cozic:
  Imaging and Sleeping Beauty: a case for double-halfers. 112-117
  
• Julien Dutant:
  Inexact knowledge, margin for error and positive introspection. 118-124
  
• Ulle Endriss:
  Vote manipulation in the presence of multiple sincere ballots. 125-134
  
• Emel Filiz:
  Incorporating unawareness into contract theory. 135-144
  
• Spyros Galanis:
  Theorems and unawareness. 145-154
  
• Jayant V. Ganguli:
  Common p-belief and uncertainty. 155-159
  
• Guido Boella, Jelle Gerbrandy, Joris Hulstijn:
  A flexible mechanism for dialogue design. 160-168
  
• Joseph Y. Halpern, Riccardo Pucella:
  Dealing with logical omniscience. 169-176
  
• Aviad Heifetz, Martin Meier, Burkhard C. Schipper:
  A canonical model for interactive unawareness. 177-182
  
• Aviad Heifetz, Martin Meier, Burkhard C. Schipper:
  Unawareness, beliefs and games. 183-192
  
• Tikitu de Jager, Robert van Rooij:
  Explaining quantity implicatures. 193-202
  
• Nicolas Houy, Lucie Ménager:
  Communication, consensus, and order.: Who wants to speak first? 203-211
  
• Ron van der Meyden, Thomas Wilke:
  Preservation of epistemic properties in security protocol implementations. 212-221
  
• Daisuke Oyama, Olivier Tercieux:
  Robust equilibria under non-common priors. 222-230
  
• Erkut Y. Ozbay:
  Unawareness and strategic announcements in games with uncertainty. 231-238
  
• Sabina Petride, Riccardo Pucella:
  Perfect cryptography, S5 knowledge, and algorithmic knowledge. 239-247
  
• Gabriella Pigozzi, Stephan Hartmann:
  Judgment aggregation and the problem of truth-tracking. 248-252
  
• Leandro Chaves Rêgo, Joseph Y. Halpern:
  Generalized solution concepts in games with possibly unaware players. 253-262
  
• Dinah Rosenberg, Eilon Solan, Nicolas Vieille:
  Convergence of behavior in social networks. 263-268
  
• Dirk Walther, Wiebe van der Hoek, Michael Wooldridge:
  Alternating-time temporal logic with explicit strategies. 269-278
  
• Lirong Xia, Jérôme Lang, Mingsheng Ying:
  Sequential voting rules and multiple elections paradoxes. 279-288