default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th 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 - Burkhard C. Schipper:
Foreword. - Rineke Verbrugge:
Logic in the Lab. - Gabrielle Anderson, Matthew Collinson, David J. Pym:
Utility-based Decision-making in Distributed Systems Modelling. - Guillaume Aucher, François Schwarzentruber:
On the Complexity of Dynamic Epistemic Logic. - Ido Ben-Zvi, Yoram Moses:
The Shape of Reactive Coordination Tasks. - Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Language-based Games. - Katarina Britz, Ivan Varzinczak:
Defeasible Modalities. - 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. - Jayant V. Ganguli, Aviad Heifetz:
Universal Interactive Preferences. - Yannai A. Gonczarowski, Yoram Moses:
Timely Common Knowledge. - Davide Grossi, Emiliano Lorini, François Schwarzentruber:
Ceteris Paribus Structure in Logics of Game Forms. - Ziv Hellman:
Deludedly Agreeing to Agree. - 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. - Jeffrey Kane, Pavel Naumov:
Epistemic Logic for Communication Chains. - Jérôme Lang, Bruno Zanuttini:
Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence. - Pavel Naumov, Brittany Nicholls:
R.E. Axiomatization of Conditional Independence. - Eric Pacuit, Arthur Paul Pedersen, Jan-Willem Romeijn:
When is an example a counterexample? - Bassel Tarbush:
Agreeing on decisions: an analysis with counterfactuals. - Rodica Bozianu, Catalin Dima, Constantin Enea:
Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics. - Torben Braüner:
Hybrid-Logical Reasoning in False-Belief Tasks. - Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine:
Strategic voting and the logic of knowledge. - Jan van Eijck:
PDL as a Multi-Agent Strategy Logic. - Joseph Y. Halpern, Rafael Pass:
Game Theory with Translucent Players. - Tivadar Papai, Henry A. Kautz, Daniel Stefankovic:
Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5. - Jeremy Seligman, Fenrong Liu, Patrick Girard:
Facebook and the epistemic logic of friendship. - Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe:
An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy.
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.
last updated on 2024-12-04 20:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
