default search action
19th TARK 2023: Oxford, UK
- Rineke Verbrugge:
Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023. EPTCS 379, 2023 - Samuel Allen Alexander, Arthur Paul Pedersen:
Strengthening Consistency Results in Modal Logic. 4-15 - Krzysztof R. Apt, Sunil Simon:
Iterated Elimination of Weakly Dominated Strategies in Well-Founded Games. 16-30 - Itai Arieli, Ivan Geffner, Moshe Tennenholtz:
Resilient Information Aggregation. 31-45 - Farid Arthaud, Martin C. Rinard:
Depth-bounded Epistemic Logic. 46-65 - Edoardo Baccini, Zoé Christoff:
Comparing Social Network Dynamic Operators. 66-81 - Philippe Balbiani, Wiebe van der Hoek, Louwe B. Kuijer:
Simple Axioms for Local Properties. 82-92 - Gaia Belardinelli, Burkhard C. Schipper:
Implicit Knowledge in Unawareness Structures - Extended Abstract. 93-112 - Marta Bílková, Igor Sedlár:
Epistemic Logics of Structured Intensional Groups. 113-130 - Adam Bjorndahl, Joseph Y. Halpern:
Sequential Language-based Decisions. 131-141 - Giacomo Bonanno:
Characterization of AGM Belief Contraction in Terms of Conditionals. 142-156 - Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth, Diego A. Velázquez:
Comparing the Update Expressivity of Communication Patterns and Action Models. 157-172 - Nicodemo De Vito:
Complete Conditional Type Structures (Extended Abstract). 173-184 - Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis, Ruoding Wang, Xiaolong Wang:
Causal Kripke Models. 185-200 - James Fox, Matt MacDermott, Lewis Hammond, Paul Harrenstein, Alessandro Abate, Michael J. Wooldridge:
On Imperfect Recall in Multi-Agent Influence Diagrams. 201-220 - Meir Friedenberg, Joseph Y. Halpern:
Joint Behavior and Common Belief. 221-232 - Sabine Frittella, Daniil Kozhemiachenko, Bart Verheij:
Presumptive Reasoning in a Paraconsistent Setting. 233-244 - Yotam Gafni, Moshe Tennenholtz:
Optimal Mechanism Design for Agents with DSL Strategies: The Case of Sybil Attacks in Combinatorial Auctions. 245-259 - Rustam Galimullin, Louwe B. Kuijer:
Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ11-hard. 260-271 - Robert Ganian, Thekla Hamm, Dusan Knop, Sanjukta Roy, Simon Schierreich, Ondrej Suchý:
Maximizing Social Welfare in Score-Based Social Distance Games. 272-286 - Marco Garapa, Eduardo Fermé, Maurício D. Luís Reis:
System of Spheres-based Two Level Credibility-limited Revisions. 287-298 - Emmanuel J. Genot:
A "Game of Like" : Online Social Network Sharing As Strategic Interaction. 299-307 - Jeremy Goodman, Bernhard Salow:
Belief Revision from Probability. 308-317 - Ronen Gradwohl, Moshe Tennenholtz:
Selling Data to a Competitor (Extended Abstract). 318-330 - Peter Hawke:
An Acceptance Semantics for Stable Modal Knowledge. 331-343 - David Hyland, Julian Gutierrez, Michael J. Wooldridge:
Incentive Engineering for Concurrent Games. 344-358 - Saira Khan:
Metatickles and Death in Damascus. 359-378 - Yanjun Li:
Tableaux for the Logic of Strategically Knowing How. 379-391 - Yipu Li, Yanjing Wang:
Epistemic Syllogistic: First Steps. 392-406 - Daniel Miedema, Malvin Gattinger:
Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic. 407-420 - Caspar Oesterheld, Abram Demski, Vincent Conitzer:
A Theory of Bounded Inductive Rationality. 421-440 - Panagiotis Papadamos, Nina Gierasimczuk:
Cognitive Bias and Belief Revision. 441-454 - Carlo Proietti, Fernando R. Velázquez-Quesada, Antonio Yuste-Ginel:
An Abstract Look at Awareness Models and Their Dynamics. 455-469 - Aldo Ivnn Ramírez Abarca:
A Logic-Based Analysis of Responsibility. 470-486 - Thomas Schlögl, Ulrich Schmid:
A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems. 487-506 - Bernard Sinclair-Desgagné:
Mining for Unknown Unknowns. 507-517 - Minkyung Wang, Chisu Kim:
Aggregating Credences into Beliefs: Agenda Conditions for Impossibility Results. 518-526 - Yuanzhe Yang:
Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract). 527-544
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.