TARK 2013
Fourteenth conference on
Theoretical Aspects of Rationality and Knowledge
Accepted contributed talks
- Jayant Ganguli and Aviad Heifetz. Universal interactive preferences
- Adam Bjorndahl, Joseph Halpern and Rafael Pass. Language-based Games
- Yannai A. Gonczarowski and Yoram Moses. Timely Common Knowledge:
Characterising Asymmetric Distributed Coordination via Vectorial Fixed
Points
- Jeffrey Kane and Pavel Naumov. Epistemic Logic for Communication Chains
- Ziv Hellman. Deludedly Agreeing to Agree
- Gabrielle Anderson, Matthew Collinson and David Pym. Utility-based
Decision-making in Distributed Systems Modelling [Extended Abstract]
- Hans van Ditmarsch, Tim French, Fernando R. Velazquez-Quesada and Yi
Wang. Knowledge, awareness, and bisimulation
- Eduardo Espinosa Avila and Francisco Hernández-Quiroz. Bounded
rationality in a dynamic alternate game
- Bassel Tarbush. Agreeing on decisions: An analysis with counterfactuals
- Edith Hemaspaandra, Lane A. Hemaspaandra and Jörg Rothe. The
Complexity of Online Manipulation of Sequential Elections
- Ido Ben-Zvi and Yoram Moses. The Shape of Reactive Coordination Tasks
- Pavel Naumov and Brittany Nicholls. R.E. Axiomatization of Conditional
Independence
- Davide Grossi, Emiliano Lorini and François Schwarzentruber. Ceteris
Paribus Structure in Logics of Game Forms
- Arina Britz and Ivan Varzinczak. Defeasible Modalities
- Eric Pacuit, Arthur Paul Pedersen and Jan-Willem Romeijn. When is an
example a counterexample?
- Guillaume Aucher and François Schwarzentruber. On the Complexity of
Dynamic Epistemic Logic
- Xiaowei Huang and Ron Van Der Meyden. Symbolic Synthesis of
Knowledge-based Program Implementations with Synchronous Semantics
- Jérôme Lang and Bruno Zanuttini. Knowledge-Based Programs as Plans:
Succinctness and the Complexity of Plan Existence
Accepted poster presentation
- Joseph Halpern and Rafael Pass. Game Theory with Translucent Players
- Tivadar Papai, Henry Kautz and Daniel Stefankovic. Reasoning Under the
Principle of Maximum Entropy for Modal Logics K45, KD45 and S5
- Torben Braüner. Hybrid-Logical Reasoning in False-Belief Tasks
- Rodica Bozianu, Catalin Dima and Constantin Enea. Model-checking an
Epistemic $\mu$-calculus with Synchronous and Perfect Recall Semantics
- Jan Van Eijck. PDL as a Multi-Agent Strategy Logic
- Hans Van Ditmarsch, Jérôme Lang and Abdallah Saffidine. Strategic
voting and the logic of knowledge
- Yasuyuki Tsukada, Hideki Sakurada, Ken Mano and Yoshifumi Manabe. An
Epistemic Approach to Compositional Reasoning about Anonymity and Privacy
- Patrick Girard, Jeremy Seligman and Fenrong Liu. Facebook and the
epistemic logic of friendship