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