![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
13th TARK 2011: Groningen, The Netherlands
- Krzysztof R. Apt:
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 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 W. N. 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.