The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "TARK"( http://dblp.L3S.de/Venues/TARK )

URL (DBLP): http://dblp.uni-trier.de/db/conf/tark

Publication years (Num. hits)
1986 (30) 1988 (32) 1990 (25) 1992 (24) 1994 (24) 1996 (21) 1998 (25) 2001-2003 (22) 2005 (22) 2007 (36) 2009 (33) 2011 (32) 2013 (29) 2015 (20) 2016-2017 (36)
Publication types (Num. hits)
inproceedings(395) proceedings(16)
Venues (Conferences, Journals, ...)
TARK(411)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29 occurrences of 17 keywords

Results
Found 411 publication records. Showing 411 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Francesco Belardinelli, Umberto Grandi, Andreas Herzig, Dominique Longin, Emiliano Lorini, Arianna Novaro, Laurent Perrussel Relaxing Exclusive Control in Boolean Games. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek A Logic for Global and Local Announcements. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Omer Lev, Moshe Tennenholtz Group Recommendations: Axioms, Impossibilities, and Random Walks. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ron van der Meyden Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract). Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yanjing Wang A New Modal Framework for Epistemic Logic. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zoé Christoff, Davide Grossi Binary Voting with Delegable Proxy: An Analysis of Liquid Democracy. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joseph Y. Halpern, Rafael Pass A Knowledge-Based Analysis of the Blockchain Protocol. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jérôme Lang (eds.) Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  BibTeX  RDF
1Adam Bjorndahl, Joseph Y. Halpern From Type Spaces to Probability Frames and Back, via Language. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Will Nalls, Adam Bjorndahl Endogenizing Epistemic Actions. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kohei Kishida Categories for Dynamic Epistemic Logic. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sujata Ghosh, Aviad Heifetz, Rineke Verbrugge, Harmen de Weerd What Drives People's Choices in Turn-Taking Games, if not Game-Theoretic Rationality? Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Jia Tao Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract). Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg Toward an Epistemic-Logical Theory of Categorization. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Michael Ian Hartley, Barteld Kooi, Jonathan Welton, Joseph B. W. Yeo Cheryl's Birthday. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ivano Ciardelli, Martin Otto 0001 Bisimulation in Inquisitive Modal Logic. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella An Epistemic Foundation for Authentication Logics (Extended Abstract). Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Philippe Mongin Bayesian Decision Theory and Stochastic Independence. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rafal Urbaniak Reconciling Bayesian Epistemology and Narration-based Approaches to Judiciary Fact-finding. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pierfrancesco Guarino The Topology-Free Construction of the Universal Type Structure for Conditional Probability Systems. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dominik Peters Condorcet's Principle and the Preference Reversal Paradox. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Arpita Ghosh, Joseph Y. Halpern Games With Tolerant Players. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Dominik Wojtczak Common Knowledge in a Logic of Gossips. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Konstantin Genin, Kevin T. Kelly The Topology of Statistical Verifiability. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Scott Garrabrant, Tsvi Benson-Tilsen, Andrew Critch, Nate Soares, Jessica Taylor A Formal Approach to the Problem of Logical Non-Omniscience. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Adam Bjorndahl, Aybüke Özgün Logic and Topology for Knowledge, Knowability, and Belief - Extended Abstract. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Weiwei Chen, Ulle Endriss Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Louwe B. Kuijer Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wesley H. Holliday, Thomas F. Icard III Indicative Conditionals and Dynamic Epistemic Logic. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist A New Game Equivalence and its Modal Logic. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emiliano Catonini Rationalizability and Epistemic Priority Orderings. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan van Eijck, Kai Li Conditional Belief, Knowledge and Probability. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada Argument-based Belief in Topological Structures. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rustam Galimullin, Natasha Alechina Coalition and Group Announcement Logic. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Burkhard C. Schipper Self-confirming Games: Unawareness, Discovery, and Equilibrium. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1R. Ramanujam (eds.) Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2015, Carnegie Mellon University, Pittsburgh, USA, June 4-6, 2015. Search on Bibsonomy TARK The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Simon M. Huttegger The Problem of Analogical Inference in Inductive Logic. Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chanjuan Liu Preference at First Sight. Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Fritz, Harvey Lederman Standard State Space Models of Unawareness (Extended Abstract). Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexandru Baltag, Nina Gierasimczuk, Sonja Smets On the Solvability of Inductive Problems: A Study in Epistemic Topology. Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Valerio Capraro, Joseph Y. Halpern Translucent Players: Explaining Cooperative Behavior in Social Dilemmas. Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yoram Moses Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle. Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass Bayesian Games with Intentions. Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Patrick Girard 0004, Marcus Anthony Triplett Ceteris paribus logic in counterfactual reasoning. Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek Epistemic Protocols for Distributed Gossiping. Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Yì N. Wáng Resolving Distributed Knowledge. Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zack Fitzsimmons Single-Peaked Consistency for Weak Orders Is Easy. Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Iris van de Pol, Iris van Rooij, Jakub Szymanik Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic. Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ron van der Meyden, Manas K. Patra Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract). Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Omer Lev, Moshe Tennenholtz, Aviv Zohar An Axiomatic Approach to Routing. Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Mandler The optimality of coarse categories in decision-making and information storage. Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sujata Ghosh, Aviad Heifetz, Rineke Verbrugge Do players reason by forward induction in dynamic perfect information games? Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak Coordination Games on Directed Graphs. Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Quan Yu, Yanjun Li, Yanjing Wang A Dynamic Epistemic Framework for Conformant Planning. Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Sophia Knight, Aybüke Özgün Announcement as effort on topological spaces. Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sarit Kraus Human-Agent Decision-making: Combining Theory and Practice. Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ido Ben-Zvi, Yoram Moses The Shape of Reactive Coordination Tasks. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Tim French 0002, Fernando R. Velázquez-Quesada, Yì N. Wáng Knowledge, awareness, and bisimulation. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Davide Grossi, Emiliano Lorini, François Schwarzentruber Ceteris Paribus Structure in Logics of Game Forms. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass Language-based Games. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Tivadar Papai, Henry A. Kautz, Daniel Stefankovic Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe The Complexity of Online Manipulation of Sequential Elections. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Gabrielle Anderson, Matthew Collinson, David J. Pym Utility-based Decision-making in Distributed Systems Modelling. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Eric Pacuit, Arthur Paul Pedersen, Jan-Willem Romeijn When is an example a counterexample? Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Yannai A. Gonczarowski, Yoram Moses Timely Common Knowledge. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Bassel Tarbush Agreeing on decisions: an analysis with counterfactuals. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Torben Braüner Hybrid-Logical Reasoning in False-Belief Tasks. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Jeffrey Kane, Pavel Naumov Epistemic Logic for Communication Chains. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Katarina Britz, Ivan José Varzinczak Defeasible Modalities. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Rineke Verbrugge Logic in the Lab. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Joseph Y. Halpern, Rafael Pass Game Theory with Translucent Players. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Rodica Bozianu, Catalin Dima, Constantin Enea Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Jan van Eijck PDL as a Multi-Agent Strategy Logic. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Pavel Naumov, Brittany Nicholls R.E. Axiomatization of Conditional Independence. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Jeremy Seligman, Fenrong Liu, Patrick Girard 0004 Facebook and the epistemic logic of friendship. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Burkhard C. Schipper (eds.) Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013 Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Eduardo Espinosa-Avila, Francisco Hernández Quiroz Bounded rationality in a dynamic alternate game. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Jayant V. Ganguli, Aviad Heifetz Universal Interactive Preferences. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine Strategic voting and the logic of knowledge. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Burkhard C. Schipper Foreword. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Ziv Hellman Deludedly Agreeing to Agree. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Guillaume Aucher, François Schwarzentruber On the Complexity of Dynamic Epistemic Logic. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Xiaowei Huang, Ron van der Meyden Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Jérôme Lang, Bruno Zanuttini Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Tobias Harks, Max Klimm Congestion games with variable demands. Search on Bibsonomy TARK The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jérôme Lang, Gabriella Pigozzi, Marija Slavkovik, Leendert W. N. van der Torre Judgment aggregation rules based on minimization. Search on Bibsonomy TARK The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra The complexity of manipulative attacks in nearly single-peaked electorates. Search on Bibsonomy TARK The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang Hidden protocols. Search on Bibsonomy TARK The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Jérôme Monnot Compilation and communication protocols for voting rules with a dynamic set of candidates. Search on Bibsonomy TARK The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1D. Marc Kilgour, Steven J. Brams, Todd R. Kaplan Three procedures for inducing honesty in bargaining. Search on Bibsonomy TARK The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Amir Ban, Nati Linial The dynamics of reputation systems. Search on Bibsonomy TARK The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ido Ben-Zvi, Yoram Moses Known unknowns: time bounds and knowledge of ignorance. Search on Bibsonomy TARK The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Giacomo Bonanno AGM belief revision in dynamic games. Search on Bibsonomy TARK The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Barteld P. Kooi, Bryan Renne Generalized arrow update logic. Search on Bibsonomy TARK The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nina Gierasimczuk, Jakub Szymanik A note on a generalization of the Muddy Children puzzle. Search on Bibsonomy TARK The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Felix Brandt 0001, Markus Brill Necessary and sufficient conditions for the strategyproofness of irresolute social choice functions. Search on Bibsonomy TARK The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Noga Alon, Felix A. Fischer, Ariel D. Procaccia, Moshe Tennenholtz Sum of us: strategyproof selection from the selectors. Search on Bibsonomy TARK The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt (eds.) Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14, 2011 Search on Bibsonomy TARK The full citation details ... 2011 DBLP  BibTeX  RDF
1Andreas Witzel Perfect recall of imperfect knowledge. Search on Bibsonomy TARK The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 411 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license