TARK 2013

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