Programme
Proceedings are available here:
https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?TARK2023
Wednesday June 28, 2023
08:00 – 9:00 Refreshments and pastries
8:30 Registration opens
8:45-9:00 Welcome: Mike/Rineke/Joe
9:00-10:00 Keynote lecture I: Jon Kleinberg: Modeling Conflict in Social Media
Chair: Joe Halpern
10:00-10:30 Contributed talks: Games and information
Chair: Joe Halpern
Ronen Gradwohl and Moshe Tennenholtz. Selling Data to a Competitor
10:30 – 11:00 Morning refreshments with biscuits in the centre foyer
11:00 – 12:30 Contributed talks: Reasoning about knowledge in distributed systems
Chair: Malvin Gattinger
Thomas Schlögl and Ulrich Schmid. A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems
James Fox, Matt MacDermott, Lewis Hammond, Paul Harrenstein, Alessandro Abate and Michael Wooldridge. On Imperfect Recall in Multi-Agent Influence Diagrams
Yotam Gafni and Moshe Tennenholtz. Distinguishable Safety Level and Its Applications
12:30 – 13:30 Lunch in the centre foyer
13:30-14:30 Keynote lecture II: Willemien Kets: Incorporating Culture into Game Theory
Chair: Burkhard Schipper
14:30-15:30 Contributed talks: Knowledge and games
Chair: Burkhard Schipper
Christian W. Bach and Andrés Perea. Epistemic Conditions for Bayesian Equilibrium
David Hyland, Julian Gutierrez and Michael Wooldridge. Incentive Engineering for Concurrent Games
15:30 – 15:45 Afternoon refreshments in the centre foyer
16:00-17:00 Contributed talks: Reasoning and acting
Chair: Christian Bach
Adam Bjorndahl and Joseph Halpern. Sequential Language-based Decisions
Yipu Li and Yanjing Wang. Epistemic Syllogistic: First Steps
Thursday June 29, 2023
08:00 – 9:00 Refreshments and pastries
9:00-10:00 Keynote lecture III: Anna Mahtani: Contextualism and Awareness Growth
Chair: Nina Gierasimczuk
10:00-10:30 Contributed talk: Update expressivity
Chair: Nina Gierasimczuk
Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth and Diego Alejandro Velázquez Cervantes. Comparing the update expressivity of communication patterns and action models
10:30 – 11:00 Morning refreshments with biscuits in the centre foyer
11:00 – 12:00 Three-minute Flash talks by 17 poster presenters
Chair: Rineke Verbrugge
Krzysztof Apt and Sunil Simon. Iterated elimination of weakly dominated strategies in well-founded games
Farid Arthaud and Martin Rinard. Depth-bounded epistemic logic
Edoardo Baccini and Zoé Christoff. Comparing Social Network Dynamic Operators
Gaia Belardinelli and Burkhard Schipper. Implicit knowledge in unawareness structures
Nicodemo De Vito. Complete Conditional Type Structures
Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis, Ruoding Wang and Xiaolong Wang. Causal Kripke models
Robert Ganian, Thekla Hamm, Dušan Knop, Sanjukta Roy, Šimon Schierreich and Ondřej Suchý. Maximizing Social Welfare in Score-Based Social Distance Games
Marco Garapa, Eduardo Fermé and Maurício Reis. System of Spheres-based Two Level Credibility-limited Revisions
Emmanuel Genot. A “Game of Like”: Online Social Network Sharing As Strategic Interaction
Peter Hawke. An Acceptance Semantics for Stable Modal Knowledge
Harvey Lederman. Incomplete preferences and the axiom of parity
Daniel Miedema and Malvin Gattinger. Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic
Caspar Oesterheld, Abram Demski and Vincent Conitzer. A theory of bounded inductive rationality
Panagiotis Papadamos and Nina Gierasimczuk. Cognitive Bias in Belief Revision
Arthur Paul Pedersen and Samuel Allen Alexander. Strengthening Consistency Results in Modal Logic
Carlo Proietti, Fernando R. Velázquez-Quesada and Antonio Yuste-Ginel. A More Abstract Look at Awareness Models and Their Dynamics
Minkyung Wang and Chisu Kim. Aggregating Credences into Beliefs: Agenda Conditions for Impossibility Results
12:00-12:30 Posters
12:30 – 13:30 Lunch in the centre foyer
13:30-14:30 Posters, continued
14:30-15:30 Contributed talks: Belief Revision
Chair: Zoé Christoff
Giacomo Bonanno. Characterization of AGM belief contraction in terms of conditionals
Jeremy Goodman and Bernhard Salow. Belief revision from probability
15:30 – 15:45 Afternoon refreshments in the centre foyer
16:00-17:30 Contributed talks: Reasoning About Information
Chair: Zoé Christoff
Sabine Frittella, Daniil Kozhemiachenko and Bart Verheij. Presumptive Reasoning in a Paraconsistent Setting
Itai Arieli, Ivan Geffner and Moshe Tennenholtz. Resilient Information Aggregation
Bernard Sinclair-Desgagné. Mining for Unknown Unknowns
19:00 – 19:30 Pre-dinner drinks in the Cloisters
19:30 – 22:00 Dinner in the Hall
Friday June 30, 2023
08:00 – 9:00 Refreshments and pastries
9:00-10:00 Keynote lecture IV: Aviad Heifetz: Rationality amounts to reason when others are ends, not means
Chair: Andrés Perea
10:00-10:30 Contributed talk: Modal Logic Foundations
Chair: Andrés Perea
Philippe Balbiani, Wiebe Van der Hoek and Louwe B. Kuijer. Simple Axioms for Local Properties
10:30 – 11:00 Morning refreshments with biscuits in the centre foyer
11:00 – 12:30 Contributed talks: Variations on Epistemic Logic
Chair: Rineke Verbrugge
Rustam Galimullin and Louwe B. Kuijer. Satisfiability of APAL with Common Knowledge is $\Sigma^1_1$-hard
Yuanzhe Yang. Knowledge-wh and false belief sensitivity: A logical study
Yanjun Li. Tableaux for the logic of strategically knowing how
12:30 – 13:30 Lunch in the centre foyer
13:30 -14:00 TARK business meeting in the centre boardroom
14:00-15:30 Contributed talks: Reasoning in groups
Chair: Hans van Ditmarsch
Marta Bílková and Igor Sedlár. Epistemic Logics of Structured Intensional Groups
Michele Crescenzi. Group knowledge and individual introspection
Meir Friedenberg and Joseph Y. Halpern. Joint Behavior and Common Belief
15:30 – 15:45 Afternoon refreshments in the centre foyer
15:45 -16:30 Rump session, led by Joe Halpern
16:30 END
Video Presentations
Yanjun Li. Tableaux for the logic of strategically knowing how: :
Saira Khan. Metatickles and Death in Damascus: Reconciling Evidential and Causal Decision Theory.
https://www.youtube.com/watch?v=qWH6OIFp3jg