JOEFEST — PROGRAM FOR SUNDAY, 19 JULY 2026

Days: all days

Sunday, 19 July 2026
09:00-10:10 Contributed Talks 1 JoeFest
Session Chair:
Location: C4.01
09:00-09:10
Introduction (abstract) 10 min
1 University College London
09:10-09:30
Operationalising Relative Causal Knowledge: Backbone Identifiability from Private Reports (abstract) 20 min
1 Imperial College London
2 Fifty One Degrees Ltd

ABSTRACT. The Relativity of Causal Knowledge (RCK) explains how agents with different structural causal models can exchange causal knowledge through a shared interventionally consistent abstraction, or backbone. We ask the prior identification question that this transport mechanism presupposes: when is that backbone determined by the agents' private causal knowledge? In the basic two-agent common-effect, case, two private causes influence one shared outcome and each agent identifies only the single-cause causal marginal relevant to its own perspective. We show that, under standard compatibility, non-degeneracy, and local overlap assumptions, those local causal marginals do not identify a unique edge-level backbone. Infinitely many joint intervention kernels can induce exactly the same private reports while disagreeing on joint interventions. The obstruction is therefore not in defining RCK restriction or extension maps once an edge value is fixed; it is in identifying the common edge value to which those maps should apply. We then give a conditional recovery result. Additive separability removes the hidden interaction degree of freedom, but observational residual summaries remain insufficient. Identification becomes possible when agents communicate causally identified response functions. An education value-added example illustrates why this is first a communication problem, and only then a policy-composition problem.

09:30-09:50
Salient Preference Dynamics: A Model of Attention-Driven Preference Change (abstract) 20 min
1 University of Oxford
2 Bar-Ilan University

ABSTRACT. A core challenge for real-world agents is determining which aspects of a decision problem are most relevant – that is, deciding what to pay attention to. Salience profoundly influences human decision-making, often leading to choices that diverge from normative rationality. In this extended abstract, we sketch a formal model that captures how salience modulates preferences and drives changes in preference. We provide a representation theorem characterising preference relations shaped by salience-weighted features. This framework provides a mathematical starting point for studying preference change under attentional modulation and for designing systems that can effectively guide human decision-making in complex, multi-faceted environments. At the same time, we highlight important considerations about the responsible design of influence strategies, particularly in contexts where subtle preference shaping may have unintended or harmful consequences.

09:50-10:10
Lessons from the Past for the Future of Robotics (abstract) 20 min
1 University of Edinburgh

ABSTRACT. Robots are increasingly being used in different application domains, aided in large part by the deep networks and foundation models that are now considered to be state of the art for many problems in AI and robotics. However, these methods and models are resource-hungry and opaque, and they provide arbitrary decisions in previously unknown situations, whereas practical applications often require transparent, multi-step, multi-level decision-making and collaboration under resource constraints and open world uncertainty. I argue that to leverage the full potential of AI in robotics, we need to revisit fundamental principles such as abstraction, ecological rationality, interactive learning and explainable agency, which can be traced back to the work of the early pioneers of AI. I would like to describe how we can combine the complementary strengths of knowledge-based and data-driven methods for reasoning and learning by embedding these principles in architectures developed for robots.

10:10-10:40 Coffee Break JoeFest
Location: C4.01
10:40-12:20 Contributed Talks 2 JoeFest
Session Chair:
Location: C4.01
10:40-11:00
Proof-theoretic approach to representable qualitative probabilities (abstract) 20 min
1 Institute of Philosophy, Czech Academy of Sciences
2 University of Salento

ABSTRACT. In this work we introduce proof-theoretic tools to the investigation of logics of qualitative probability which, to the best of our knowledge are missing in the literature. We report on ongoing work, introducing weaker systems for qualitative probability based on the model of the polynomial approximation of classical logic that have polynomial computational complexity and approximate full qualitative reasoning.

11:00-11:20
Cheap Talk Games with Dempster-Shafer Priors (abstract) 20 min
1 Institute of Computer Science, Czech Academy of Sciences, Czechia
2 School of Mathematics, University of the Witwatersrand, Johannesburg
3 School of Business and Economics, Vrije Universiteit Amsterdam
4 Faculty of Economics and Business, University of Amsterdam
5 Deaprtment of Computer Science, University of Luxembourg, Luxembourg

ABSTRACT. This paper studies strategic communication under ambiguity within a cheap talk framework, extending standard models beyond probabilistic beliefs. We represent uncertainty using Dempster–Shafer mass functions, allowing for non-additive and ambiguous beliefs, and analyze how a sender optimally communicates when unsure how a receiver resolves such ambiguity. Considering neutral, robust, and optimistic attitudes, we characterize equilibrium behavior and show how ambiguity shapes persuasion strategies and outcomes.

11:20-11:40
Answer Set Programming for Actual Causality: The Role of Negations (abstract) 20 min
1 TU Wien

ABSTRACT. Wepropose an ASP approach to reasoning about Halpern-Pearl actual causes and argue that our encoding is simpler, conceptually more appropriate, and more general than the existing approach in literature.

11:40-12:00
Causality, Harm, and Elections (abstract) 20 min
1 LAMSADE, CNRS, Universit e Paris-Dauphine PSL

ABSTRACT. Joe Halpern and I started about causality and harm in voting contexts first in July 2025 in Dusseldorf, and longer in December 2025 in Paris, where Joe had been invited to give a seminar, which was excellent. We talked about voting and causality for several hours and he promised to send me his latest draft, which he did on December 28.

12:00-12:20
Computing Actual Causes for Neural Network Predictions under Structured Causal Inputs (abstract) 20 min
1 University of Konstanz
2 University of Kosntanz

ABSTRACT. We study the problem of computing actual causes for neural network (NN) predictions under structured input dependencies. Existing explanation methods typically assume feature independence, which can produce misleading explanations when inputs are causally related. To address this limitation, we formalize explanations using Halpern and Pearl actual causality within Structural Causal Models (SCMs). We reduce the computation of actual causes to a NN verification problem by combining differentiable relaxations with branch-and-bound verification techniques. Our preliminary experiments indicate that the proposed method is effective and scalable for computing causal explanations of neural network predictions.

12:20-13:50 Lunch JoeFest
Location: C4.01
13:50-15:05 In-Person Invited Talks JoeFest
Session Chair:
Location: C4.01
13:50-14:05
Invited Talk (abstract) 15 min
1 King’s College London
14:05-14:20
Invited Talk (abstract) 15 min
1 Rice University
14:20-14:35
Invited Talk (abstract) 15 min
1 University of New South Wales
14:35-14:50
Invited Talk (abstract) 15 min
1 Tel Aviv University
14:50-15:00
Invited Talk (abstract) 10 min
1 RWTH Aachen University
15:00-15:05
Invited Talk (abstract) 5 min
1 RWTH Aachen University
15:05-15:35 Coffee Break JoeFest
Location: C4.01
15:35-17:00 Pre-recorded Invited Talks JoeFest
Session Chair:
Location: C4.01
15:35-17:00
Pre-recorded Videos (abstract) 85 min
1 placeholder
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍