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