13. TARK 2011: Groningen, The Netherlands

• Yossi Feinberg:
  Strategic communication. 1-11
  
• Johan van Benthem:
  Exploring a theory of play. 12-16
  
• Itzhak Gilboa:
  Questions in decision theory. 17-27
  
• Lawrence S. Moss:
  Connections of coalgebra and semantic modeling. 28-36
  
• Giacomo Bonanno:
  AGM belief revision in dynamic games. 37-45
  
• Sara Miner More, Pavel Naumov, Brittany Nicholls, Andrew Yang:
  A ternary knowledge relation on secrets. 46-54
  
• Horacio L. Arló-Costa, Hailin Liu:
  Value-based contraction: a representation result. 55-64
  
• Hans P. van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang:
  Hidden protocols. 65-74
  
• Andreas Witzel:
  Perfect recall of imperfect knowledge. 75-81
  
• Sander Heinsalu:
  Equivalence of the information structure with unawareness to the logic of awareness. 82-90
  
• Amir Ban, Nati Linial:
  The dynamics of reputation systems. 91-100
  
• Noga Alon, Felix A. Fischer, Ariel D. Procaccia, Moshe Tennenholtz:
  Sum of us: strategyproof selection from the selectors. 101-110
  
• Tobias Harks, Max Klimm:
  Congestion games with variable demands. 111-120
  
• Soumya Paul, Ramaswamy Ramanujam:
  Neighbourhood structure in large games. 121-130
  
• Adam Dominiak, Jean-Philippe Lefort:
  Agreeing to disagree type results under ambiguity. 131-135
  
• Felix Brandt, Markus Brill:
  Necessary and sufficient conditions for the strategyproofness of irresolute social choice functions. 136-142
  
• Cédric Dégremont, Benedikt Löwe, Andreas Witzel:
  The synchronicity of dynamic epistemic logic. 145-152
  
• Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Jérôme Monnot:
  Compilation and communication protocols for voting rules with a dynamic set of candidates. 153-160
  
• Ido Ben-Zvi, Yoram Moses:
  Known unknowns: time bounds and knowledge of ignorance. 161-169
  
• D. Marc Kilgour, Steven J. Brams, Todd R. Kaplan:
  Three procedures for inducing honesty in bargaining. 170-176
  
• Xiaowei Huang, Cheng Luo, Ron van der Meyden:
  Symbolic model checking of probabilistic knowledge. 177-186
  
• Alexandru Baltag, Nina Gierasimczuk, Sonja Smets:
  Belief revision as a truth-tracking process. 187-190
  
• Luca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack:
  Sigma algebras in probabilistic epistemic dynamics. 191-199
  
• Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
  Weights in stable marriage problems increase manipulation opportunities. 200-204
  
• Barteld P. Kooi, Bryan Renne:
  Generalized arrow update logic. 205-211
  
• Floor Sietsma, Jan van Eijck:
  Message passing in a dynamic epistemic logic setting. 212-220
  
• Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
  Reasoning about justified belief. 221-227
  
• Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra:
  The complexity of manipulative attacks in nearly single-peaked electorates. 228-237
  
• Jérôme Lang, Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre:
  Judgment aggregation rules based on minimization. 238-246
  
• Omar I. Al-Bataineh, Ron van der Meyden:
  Abstraction for epistemic model checking of dining cryptographers-based protocols. 247-256
  
• Nina Gierasimczuk, Jakub Szymanik:
  A note on a generalization of the Muddy Children puzzle. 257-264
  

Last update Tue May 21 00:55:36 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page