News

Paper presentation at ATVA 2020: From Checking to Inference: Actual Causality Computations as Optimization Problems

This paper presents a novel approach to formulate different notions of causal reasoning, over binary acyclic models, as optimization problems, based on quantifiable notions within counterfactual computations.   

Publication: From Checking to Inference: Actual Causality Computations as Optimization Problems; Amjad Ibrahim and Alexander Pretschner.

This paper presents a novel approach to formulate different notions of causal reasoning, over binary acyclic models, as optimization problems, based on quantifiable notions within counterfactual computations.   


Read the paper: https://link.springer.com/chapter/10.1007/978-3-030-59152-6_19

A recording of the presentation is also available here: https://drive.google.com/file/d/1qyZccXNpBcUxZKnJHd5HCcYGKaQOShL0/view