


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 Iván 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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














