← Search

Maciej Liskiewicz

5 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

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

Efficient Enumeration of Markov Equivalent DAGs

AAAI 2023technical

Enumerating the directed acyclic graphs (DAGs) of a Markov equivalence class (MEC) is an important primitive in causal analysis. The central resource from the perspective of computational complexity is the delay, that is, the time an algorithm that lists all members of the class requires between two…

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
2021

Polynomial-Time Algorithms for Counting and Sampling Markov Equivalent DAGs

AAAI 2021technical

Counting and uniform sampling of directed acyclic graphs (DAGs) from a Markov equivalence class are fundamental tasks in graphical causal analysis. In this paper, we show that these tasks can be performed in polynomial time, solving a long-standing open problem in this area. Our algorithms are effec…