11 citations · 17 across the 7 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.AI2020★ 11 cited
From Checking to Inference: Actual Causality Computations as Optimization Problems
Amjad Ibrahim, Alexander Pretschner
Actual causality is increasingly well understood. Recent formal approaches, proposed by Halpern and Pearl, have made this concept mature enough to be amenable to automated reasonin…
cs.SE2020★ 2 cited
Expressing Accountability Patterns using Structural Causal Models
Severin Kacianka, Amjad Ibrahim, Alexander Pretschner
While the exact definition and implementation of accountability depend on the specific context, at its core accountability describes a mechanism that will make decisions transparen…