Proceedings of TARK XIII (2011)

Edited by Krzysztof R. Apt 


July 11-15, 2011

University of Groningen, The Netherlands


Strategic communication [PDF]
Yossi Feinberg


Exploring a theory of play [PDF]
Johan van Benthem

Questions in decision theory [PDF]
Itzhak Gilboa

Connections of coalgebra and semantic modeling [PDF]
Lawrence S. Moss

AGM belief revision in dynamic games [PDF]
Giacomo Bonanno

A ternary knowledge relation on secrets [PDF]
Sara Miner More, Pavel Naumov, Brittany Nicholls, Andrew Yang

Value-based contraction: a representation result [PDF]
Horacio Arlo Costa, Hailin Liu

Hidden protocols [PDF]
Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang

Perfect recall of imperfect information [PDF]
Andreas Witzel

Equivalence of the information structure with unawareness to the logic of awareness [PDF]
Sander Heinsalu

The dynamics of reputation systems [PDF]
Amir Ban, Nati Linial

Sum of us: strategyproof selection from the selectors [PDF]
Noga Alon, Felix Fischer, Ariel Procaccia, Moshe Tennenholtz

Congestion games with variable demands [PDF]
Tobias Harks, Max Klimm

Neighbourhood structure in large games [PDF]
Soumya Paul, R. Ramanujam

Agreeing to disagree type results under ambiguity [PDF]
Adam Dominiak, Jean Philippe Lefort

Necessary and sufficient conditions for the strategyproofness of irresolute social choice functions [PDF]
Felix Brandt, Markus Brill


The synchronicity of dynamic epistemic logic [PDF]
Cedric Degremont, Benedikt Lowe, Andreas Witzel

Compilation and communication protocols for voting rules with a dynamic set of candidates [PDF]
Yann Chevaleyre, Jerome Lang, Nicolas Maudet, Jerome Monnot

Known unknowns: time bounds and knowledge of ignorance [PDF]
Ido Ben-Zvi, Yoram Moses

Three procedures for inducing honesty in bargaining [PDF]
D. Marc Kilgour, Steven J. Brams, Todd R. Kaplan

Symbolic model checking of probabilistic knowledge [PDF]
Xiaowei Huang, Cheng Luo, Ron van der Meyden

Belief revision as a truth-tracking process [PDF]
Aexandru Baltag, Nina Gierasimczuk, Sonja Smets

Sigma algebras in probabilistic epistemic dynamics [PDF]
Luca Aceto, Wiebe van der Hoek, Anna Ingolfsdottir, Joshua Sack

Weights in stable marriage problems increase manipulation opportunities [PDF]
Maria Silvia Pini, Frencesca Rossi, Kristen Brent Venable, Toby Walsh

Generalized arrow update logic [PDF]
Barteld Kooi, Bryan Renne

Message passing in a dynamic epistemic logic setting [PDF]
Floor Sietsma, Jan van Eijck

Reasoning about justified belief [PDF]
Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass

The complexity of manipulative attacks in nearly single-peaked electorates [PDF]
Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra

Judgement aggregation rules based on minimization [PDF]
Jerome Lang, Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre

Abstraction for epistemic model checking of dining cryptographers-based protocols [PDF]
Omar Al Bataineh, Ron van der Meyden

A note on a generalization of the Muddy Children puzzle [PDF]
Nina Gierasimczuk, Jakub Szymanik