13. TARK 2011:
Groningen,
The Netherlands
Krzysztof R. Apt (Ed.):
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14, 2011.
ACM 2011, ISBN 978-1-4503-0707-9 
- 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 Fri May 25 08:42:57 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
