13. TARK 2013: Chennai, India
- Burkhard C. Schipper:
Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013. 2013, ISBN 978-0-615-74716-3 - Gabrielle Anderson, Matthew Collinson, David J. Pym:
Utility-based Decision-making in Distributed Systems Modelling. - Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng:
Knowledge, awareness, and bisimulation. - Eduardo Espinosa-Avila, Francisco Hernández Quiroz:
Bounded rationality in a dynamic alternate game. - Davide Grossi, Emiliano Lorini, François Schwarzentruber:
Ceteris Paribus Structure in Logics of Game Forms. - Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe:
The Complexity of Online Manipulation of Sequential Elections. - Xiaowei Huang, Ron van der Meyden:
Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics. - Jérôme Lang, Bruno Zanuttini:
Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence. - Rodica Bozianu, Catalin Dima, Constantin Enea:
Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics. - Tivadar Papai, Henry A. Kautz, Daniel Stefankovic:
Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5. - Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe:
An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy.