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) 2019 (23)
Publication types (Num. hits)
inproceedings(417) proceedings(17)
Venues (Conferences, Journals, ...)
TARK(434)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29 occurrences of 17 keywords

Results
Found 434 publication records. Showing 434 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Satoshi Fukuda On the Consistency among Prior, Posteriors, and Information Sets (Extended Abstract). Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wesley H. Holliday, Eric Pacuit Strategic Voting Under Uncertainty About the Voting Method. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Roman Kuznets, Laurent Prosperi, Ulrich Schmid 0001, Krisztina Fruzsa Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giacomo Bonanno Credible Information, Allowable Information and Belief Revision - Extended Abstract. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nourhan Ehab, Haythem O. Ismail A Unified Algebraic Framework for Non-Monotonicity. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Francesco Belardinelli, Umberto Grandi Social Choice Methods for Database Aggregation. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Grzegorz Lisowski, Sylvie Doutre, Umberto Grandi Aggregation in Value-Based Argumentation Frameworks. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Adam Dominiak, Burkhard C. Schipper Common Belief in Choquet Rationality and Ambiguity Attitudes - Extended Abstract. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Malvin Gattinger, Yanjing Wang 0001 How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces An Algebraic Approach for Action Based Default Reasoning. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lawrence S. Moss (eds.) Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Dominik Wojtczak Open Problems in a Logic of Gossips. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sven Neth Measuring Belief and Risk Attitude. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joseph Y. Halpern, Rafael Pass A Conceptually Well-Founded Characterization of Iterated Admissibility Using an "All I Know" Operator. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexandru Baltag, Soroush Rafiee Rad, Sonja Smets Learning Probabilities: Towards a Logic of Statistical Learning. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yifeng Ding, Wesley H. Holliday, Cedegao Zhang When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning? Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yakov Babichenko, Oren Dean, Moshe Tennenholtz Sequential Voting with Confirmation Network. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe The Complexity of Online Bribery in Sequential Elections (Extended Abstract). Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Frank M. V. Feys, Helle Hvid Hansen Arrow's Theorem Through a Fixpoint Argument. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Magdalena Ivanovska, Marija Slavkovik Aggregating Probabilistic Judgments. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emiliano Lorini Exploiting Belief Bases for Building Rich Epistemic Structures. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ramit Das, R. Ramanujam, Sunil Simon Reasoning about Social Choice and Games in Monadic Fixed-Point Logic. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Adam Bjorndahl, Aybüke Özgün Uncertainty About Evidence. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yanjing Wang 0001 A New Modal Framework for Epistemic Logic. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
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
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
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
1Kohei Kishida Categories for Dynamic Epistemic Logic. 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
1Burkhard C. Schipper Self-confirming Games: Unawareness, Discovery, and Equilibrium. 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
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
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
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
1Rustam Galimullin, Natasha Alechina Coalition and Group Announcement Logic. 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
1Omer Lev, Moshe Tennenholtz Group Recommendations: Axioms, Impossibilities, and Random Walks. 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
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
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
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
1Arpita Ghosh, Joseph Y. Halpern Games With Tolerant Players. 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
1Emiliano Catonini Rationalizability and Epistemic Priority Orderings. 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
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
1Konstantin Genin, Kevin T. Kelly The Topology of Statistical Verifiability. 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
1Ivano Ciardelli, Martin Otto 0001 Bisimulation in Inquisitive Modal Logic. 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
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
1Dominik Peters Condorcet's Principle and the Preference Reversal Paradox. 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
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
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
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
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
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
1Zack Fitzsimmons Single-Peaked Consistency for Weak Orders Is Easy. 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
1Simon M. Huttegger The Problem of Analogical Inference in Inductive Logic. 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
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
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
1Quan Yu, Yanjun Li, Yanjing Wang 0001 A Dynamic Epistemic Framework for Conformant Planning. 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
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
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
1Chanjuan Liu Preference at First Sight. 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
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
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
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
1Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass Bayesian Games with Intentions. 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
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
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
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
1Torben Braüner Hybrid-Logical Reasoning in False-Belief Tasks. 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
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
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
1Guillaume Aucher, François Schwarzentruber On the Complexity of Dynamic Epistemic Logic. 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
1Jeffrey Kane, Pavel Naumov Epistemic Logic for Communication Chains. 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
1Jan van Eijck PDL as a Multi-Agent Strategy Logic. 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
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
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
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
1Jayant V. Ganguli, Aviad Heifetz Universal Interactive Preferences. 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
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
1Rineke Verbrugge Logic in the Lab. 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
1Bassel Tarbush Agreeing on decisions: an analysis with counterfactuals. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 434 (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