Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Arpita Ghosh, Joseph Y. Halpern |
Games With Tolerant Players. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rafal Urbaniak |
Reconciling Bayesian Epistemology and Narration-based Approaches to Judiciary Fact-finding. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Emiliano Catonini |
Rationalizability and Epistemic Priority Orderings. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hans van Ditmarsch, Michael Ian Hartley, Barteld Kooi, Jonathan Welton, Joseph B. W. Yeo |
Cheryl's Birthday. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adam Bjorndahl, Aybüke Özgün |
Logic and Topology for Knowledge, Knowability, and Belief - Extended Abstract. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Konstantin Genin, Kevin T. Kelly |
The Topology of Statistical Verifiability. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Louwe B. Kuijer |
Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ivano Ciardelli, Martin Otto 0001 |
Bisimulation in Inquisitive Modal Logic. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pierfrancesco Guarino |
The Topology-Free Construction of the Universal Type Structure for Conditional Probability Systems. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zoé Christoff, Davide Grossi |
Binary Voting with Delegable Proxy: An Analysis of Liquid Democracy. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Peters |
Condorcet's Principle and the Preference Reversal Paradox. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Lang (eds.) |
Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017. |
TARK |
2017 |
DBLP BibTeX RDF |
|
1 | Ron van der Meyden |
Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract). |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Weiwei Chen, Ulle Endriss |
Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Naumov, Jia Tao 0001 |
Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract). |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek |
A Logic for Global and Local Announcements. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
1 | R. Ramanujam 0001 (eds.) |
Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2015, Carnegie Mellon University, Pittsburgh, USA, June 4-6, 2015. |
TARK |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zack Fitzsimmons |
Single-Peaked Consistency for Weak Orders Is Easy. |
TARK |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Girard 0004, Marcus Anthony Triplett |
Ceteris paribus logic in counterfactual reasoning. |
TARK |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Simon M. Huttegger |
The Problem of Analogical Inference in Inductive Logic. |
TARK |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter Fritz, Harvey Lederman |
Standard State Space Models of Unawareness (Extended Abstract). |
TARK |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Baltag, Nina Gierasimczuk, Sonja Smets |
On the Solvability of Inductive Problems: A Study in Epistemic Topology. |
TARK |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ron van der Meyden, Manas K. Patra |
Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract). |
TARK |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hans van Ditmarsch, Sophia Knight, Aybüke Özgün |
Announcement as effort on topological spaces. |
TARK |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Quan Yu, Yanjun Li, Yanjing Wang 0001 |
A Dynamic Epistemic Framework for Conformant Planning. |
TARK |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ågotnes, Yì N. Wáng |
Resolving Distributed Knowledge. |
TARK |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Iris van de Pol, Iris van Rooij, Jakub Szymanik |
Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic. |
TARK |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Mandler |
The optimality of coarse categories in decision-making and information storage. |
TARK |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chanjuan Liu |
Preference at First Sight. |
TARK |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sarit Kraus |
Human-Agent Decision-making: Combining Theory and Practice. |
TARK |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sujata Ghosh, Aviad Heifetz, Rineke Verbrugge |
Do players reason by forward induction in dynamic perfect information games? |
TARK |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Valerio Capraro, Joseph Y. Halpern |
Translucent Players: Explaining Cooperative Behavior in Social Dilemmas. |
TARK |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak |
Coordination Games on Directed Graphs. |
TARK |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass |
Bayesian Games with Intentions. |
TARK |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Omer Lev, Moshe Tennenholtz, Aviv Zohar |
An Axiomatic Approach to Routing. |
TARK |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yoram Moses |
Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle. |
TARK |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek |
Epistemic Protocols for Distributed Gossiping. |
TARK |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gabrielle Anderson, Matthew Collinson, David J. Pym |
Utility-based Decision-making in Distributed Systems Modelling. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Torben Braüner |
Hybrid-Logical Reasoning in False-Belief Tasks. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass |
Language-based Games. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Xiaowei Huang 0001, Ron van der Meyden |
Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Eduardo Espinosa-Avila, Francisco Hernández Quiroz |
Bounded rationality in a dynamic alternate game. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Guillaume Aucher, François Schwarzentruber |
On the Complexity of Dynamic Epistemic Logic. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Burkhard C. Schipper |
Foreword. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Jeffrey Kane, Pavel Naumov |
Epistemic Logic for Communication Chains. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Joseph Y. Halpern, Rafael Pass |
Game Theory with Translucent Players. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Jan van Eijck |
PDL as a Multi-Agent Strategy Logic. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Davide Grossi, Emiliano Lorini, François Schwarzentruber |
Ceteris Paribus Structure in Logics of Game Forms. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Tivadar Papai, Henry A. Kautz, Daniel Stefankovic |
Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Hans van Ditmarsch, Tim French 0002, Fernando R. Velázquez-Quesada, Yì N. Wáng |
Knowledge, awareness, and bisimulation. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Jeremy Seligman, Fenrong Liu, Patrick Girard 0004 |
Facebook and the epistemic logic of friendship. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Burkhard C. Schipper (eds.) |
Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013 |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Jayant V. Ganguli, Aviad Heifetz |
Universal Interactive Preferences. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe |
The Complexity of Online Manipulation of Sequential Elections. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Jérôme Lang, Bruno Zanuttini |
Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Rineke Verbrugge |
Logic in the Lab. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Eric Pacuit, Arthur Paul Pedersen, Jan-Willem Romeijn |
When is an example a counterexample? |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Bassel Tarbush |
Agreeing on decisions: an analysis with counterfactuals. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Katarina Britz, Ivan José Varzinczak |
Defeasible Modalities. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Pavel Naumov, Brittany Nicholls |
R.E. Axiomatization of Conditional Independence. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Ido Ben-Zvi, Yoram Moses |
The Shape of Reactive Coordination Tasks. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine |
Strategic voting and the logic of knowledge. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Rodica Bozianu, Catalin Dima, Constantin Enea |
Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe |
An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Yannai A. Gonczarowski, Yoram Moses |
Timely Common Knowledge. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Ziv Hellman |
Deludedly Agreeing to Agree. |
TARK |
2013 |
DBLP BibTeX RDF |
|
1 | Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang 0001 |
Hidden protocols. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Dégremont, Benedikt Löwe, Andreas Witzel |
The synchronicity of dynamic epistemic logic. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yossi Feinberg |
Strategic communication. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Barteld P. Kooi, Bryan Renne |
Generalized arrow update logic. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Harks, Max Klimm |
Congestion games with variable demands. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof R. Apt (eds.) |
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14, 2011 |
TARK |
2011 |
DBLP BibTeX RDF |
|
1 | Sara Miner More, Pavel Naumov, Brittany Nicholls, Andrew Yang |
A ternary knowledge relation on secrets. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack |
Sigma algebras in probabilistic epistemic dynamics. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Maria Silvia Pini, Francesca Rossi 0001, Kristen Brent Venable, Toby Walsh |
Weights in stable marriage problems increase manipulation opportunities. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sander Heinsalu |
Equivalence of the information structure with unawareness to the logic of awareness. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Johan van Benthem |
Exploring a theory of play. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ido Ben-Zvi, Yoram Moses |
Known unknowns: time bounds and knowledge of ignorance. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Xiaowei Huang 0001, Cheng Luo 0003, Ron van der Meyden |
Symbolic model checking of probabilistic knowledge. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Amir Ban, Nati Linial |
The dynamics of reputation systems. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Floor Sietsma, Jan van Eijck |
Message passing in a dynamic epistemic logic setting. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Noga Alon, Felix A. Fischer, Ariel D. Procaccia, Moshe Tennenholtz |
Sum of us: strategyproof selection from the selectors. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lawrence S. Moss |
Connections of coalgebra and semantic modeling. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Horacio L. Arló-Costa, Hailin Liu 0004 |
Value-based contraction: a representation result. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass |
Reasoning about justified belief. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Witzel |
Perfect recall of imperfect knowledge. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Soumya Paul, Ramaswamy Ramanujam |
Neighbourhood structure in large games. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Adam Dominiak, Jean-Philippe Lefort |
Agreeing to disagree type results under ambiguity. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nina Gierasimczuk, Jakub Szymanik |
A note on a generalization of the Muddy Children puzzle. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra |
The complexity of manipulative attacks in nearly single-peaked electorates. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | D. Marc Kilgour, Steven J. Brams, Todd R. Kaplan |
Three procedures for inducing honesty in bargaining. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Lang, Gabriella Pigozzi, Marija Slavkovik 0001, Leendert W. N. van der Torre |
Judgment aggregation rules based on minimization. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Baltag, Nina Gierasimczuk, Sonja Smets |
Belief revision as a truth-tracking process. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Itzhak Gilboa |
Questions in decision theory. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Giacomo Bonanno |
AGM belief revision in dynamic games. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Felix Brandt 0001, Markus Brill |
Necessary and sufficient conditions for the strategyproofness of irresolute social choice functions. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Jérôme Monnot |
Compilation and communication protocols for voting rules with a dynamic set of candidates. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Omar I. Al-Bataineh, Ron van der Meyden |
Abstraction for epistemic model checking of dining cryptographers-based protocols. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ying-Ju Chen, Xiaojian Zhao |
Contractual traps. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
principal-agent relationship, cognition, unawareness, incomplete contracts |
1 | Lance Fortnow |
Program equilibria and discounted computation time. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|