Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge

2017/07/25 by Jérôme Lang · 33 citations
Computer Science · #cs.GT #cs.AI #cs.CR #cs.LO

paper · pdf · doi:10.4204/eptcs.251

published as EPTCS 251, 2017

arxiv created 2017/07/25 · arxiv updated 2017/07/27

Abstract

This volume consists of papers presented at the Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK) held at the University of Liverpool, UK, from July 24 to 26, 2017. TARK conferences bring together researchers from a wide variety of fields, including Computer Science (especially, Artificial Intelligence, Cryptography, Distributed Computing), Economics (especially, Decision Theory, Game Theory, Social Choice Theory), Linguistics, Philosophy (especially, Philosophical Logic), and Cognitive Psychology, in order to further understand the issues involving reasoning about rationality and knowledge.

Cited by

• Indicative Conditionals and Dynamic Epistemic Logic
• Common Knowledge in a Logic of Gossips
• A Logic for Global and Local Announcements
• Relaxing Exclusive Control in Boolean Games
• A New Game Equivalence and its Modal Logic
• From Type Spaces to Probability Frames and Back, via Language
• Rationalizability and Epistemic Priority Orderings
• Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks
• Binary Voting with Delegable Proxy: An Analysis of Liquid Democracy
• Bisimulation in Inquisitive Modal Logic
• Toward an Epistemic-Logical Theory of Categorization
• Conditional Belief, Knowledge and Probability
• Coalition and Group Announcement Logic
• A Formal Approach to the Problem of Logical Non-Omniscience
• Games With Tolerant Players
• What Drives People's Choices in Turn-Taking Games, if not Game-Theoretic Rationality?
• An Epistemic Foundation for Authentication Logics (Extended Abstract)
• A Knowledge-Based Analysis of the Blockchain Protocol
• Categories for Dynamic Epistemic Logic
• Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE
• Group Recommendations: Axioms, Impossibilities, and Random Walks
• Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)
• Endogenizing Epistemic Actions
• Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract)
• Condorcet's Principle and the Preference Reversal Paradox
• Self-confirming Games: Unawareness, Discovery, and Equilibrium
• Argument-based Belief in Topological Structures
• Reconciling Bayesian Epistemology and Narration-based Approaches to Judiciary Fact-finding
• A New Modal Framework for Epistemic Logic
• The Topology of Statistical Verifiability
• Logic and Topology for Knowledge, Knowability, and Belief - Extended Abstract
• The Topology-Free Construction of the Universal Type Structure for Conditional Probability Systems
• Cheryl's Birthday

Related

• Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge
• Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge
• Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge
• TARK 2013 - Proceedings of the 14. Conference on Theoretical Aspects of Rationality and Knowledge
• Rationality in current era -- A recent survey