


default search action
11th TARK 2007: Brussels, Belgium
- Dov Samet:

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007. 2007
Invited papers
- Frank Arntzenius:

No regrets: or: Edith Piaf revamps decision theory. 1 - Yishay Mansour:

Learning, regret minimization and option pricing. 2-3 - Bernhard von Stengel:

Games, geometry, and the computational complexity of finding equilibria. 4-5
Contributed papers
- Thomas Ågotnes, Natasha Alechina:

Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. 6-14 - Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga

:
Alternating-time temporal logics with irrevocable strategies. 15-24 - Krzysztof R. Apt:

Epistemic analysis of strategic games with arbitrary strategy sets. 25-32 - Ofer Arieli:

Commonsense reasoning by distance semantics. 33-41 - Philippe Balbiani

, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima:
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. 42-51 - Alexandru Baltag, Sonja Smets:

From conditional probability to the logic of doxastic actions. 52-61 - Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh

:
Knowledge-based modelling of voting protocols. 62-71 - Johan van Benthem, Jelle Gerbrandy, Eric Pacuit:

Merging frameworks for interaction: DEL and ETL. 72-81 - Felix Brandt, Felix A. Fischer, Paul Harrenstein:

The computational complexity of choice sets. 82-91 - Jan M. Broersen, Andreas Herzig, Nicolas Troquard

:
A normal simulation of coalition logic and an epistemic extension. 92-101 - Vincent Conitzer:

Limited verification of identities to induce false-name-proofness. 102-111 - Mikaël Cozic:

Imaging and Sleeping Beauty: a case for double-halfers. 112-117 - Julien Dutant:

Inexact knowledge, margin for error and positive introspection. 118-124 - Ulle Endriss:

Vote manipulation in the presence of multiple sincere ballots. 125-134 - Emel Filiz:

Incorporating unawareness into contract theory. 135-144 - Spyros Galanis

:
Theorems and unawareness. 145-154 - Jayant V. Ganguli:

Common p-belief and uncertainty. 155-159 - Guido Boella, Jelle Gerbrandy, Joris Hulstijn:

A flexible mechanism for dialogue design. 160-168 - Joseph Y. Halpern, Riccardo Pucella:

Dealing with logical omniscience. 169-176 - Aviad Heifetz, Martin Meier, Burkhard C. Schipper:

A canonical model for interactive unawareness. 177-182 - Aviad Heifetz, Martin Meier, Burkhard C. Schipper:

Unawareness, beliefs and games. 183-192 - Tikitu de Jager, Robert van Rooij:

Explaining quantity implicatures. 193-202 - Nicolas Houy, Lucie Ménager:

Communication, consensus, and order.: Who wants to speak first? 203-211 - Ron van der Meyden

, Thomas Wilke:
Preservation of epistemic properties in security protocol implementations. 212-221 - Daisuke Oyama, Olivier Tercieux:

Robust equilibria under non-common priors. 222-230 - Erkut Yusuf Özbay:

Unawareness and strategic announcements in games with uncertainty. 231-238 - Sabina Petride, Riccardo Pucella:

Perfect cryptography, S5 knowledge, and algorithmic knowledge. 239-247 - Gabriella Pigozzi, Stephan Hartmann:

Judgment aggregation and the problem of truth-tracking. 248-252 - Leandro Chaves Rêgo, Joseph Y. Halpern:

Generalized solution concepts in games with possibly unaware players. 253-262 - Dinah Rosenberg, Eilon Solan

, Nicolas Vieille:
Convergence of behavior in social networks. 263-268 - Dirk Walther, Wiebe van der Hoek

, Michael J. Wooldridge
:
Alternating-time temporal logic with explicit strategies. 269-278 - Lirong Xia

, Jérôme Lang, Mingsheng Ying
:
Sequential voting rules and multiple elections paradoxes. 279-288

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














