2 papers
cs.AI2019
Efficiently Checking Actual Causality with SAT Solving
Amjad Ibrahim, Simon Rehwald, Alexander Pretschner
Recent formal approaches towards causality have made the concept ready for incorporation into the technical world. However, causality reasoning is computationally hard; and no gene…
cs.AI2017
ACCBench: A Framework for Comparing Causality Algorithms
Simon Rehwald, Amjad Ibrahim, Kristian Beckers +1
Modern socio-technical systems are increasingly complex. A fundamental problem is that the borders of such systems are often not well-defined a-priori, which among other problems c…