← Search

Benito Van Der Zander

6 accepted papers

2025

From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy

ICLR 2025poster

The framework of Pearl's Causal Hierarchy (PCH) formalizes three types of reasoning: probabilistic (i.e. purely observational), interventional, and counterfactual, that reflect the progressive sophistication of human thought regarding causation. We investigate the computational complexity aspects of…

Cited by 1SourcePDFScholar
2024

Linear-Time Algorithms for Front-Door Adjustment in Causal Graphs

AAAI 2024technical

Causal effect estimation from observational data is a fundamental task in empirical sciences. It becomes particularly challenging when unobserved confounders are involved in a system. This paper focuses on front-door adjustment – a classic technique which, using observed mediators allows to identify…

2024

On the Complexity of Identification in Linear Structural Causal Models

NeurIPS 2024poster

Learning the unknown causal parameters of a linear structural causal model is a fundamental task in causal analysis. The task, known as the problem of identification, asks to estimate the parameters of the model from a combination of assumptions on the graphical structure of the model and observa…

Cited by 0SourcePDFScholar
2023

The Hardness of Reasoning about Probabilities and Causality

IJCAI 2023poster

We study formal languages which are capable of fully expressing quantitative probabilistic reasoning and do-calculus reasoning for causal effects, from a computational complexity perspective. We focus on satisfiability problems whose instance formulas allow expressing many tasks in probabilistic a…

Cited by 9SourcePDFScholar
2022

Identification in Tree-shaped Linear Structural Causal Models

AISTATS 2022poster

Linear structural equation models represent direct causal effects as directed edges and confounding factors as bidirected edges. An open problem is to identify the causal parameters from correlations between the nodes. We investigate models, whose directed component forms a tree, and show that there…

Cited by 2SourcePDFScholar