11. TARK 2007: Brussels, Belgium

Invited papers

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

Contributed papers

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