2 citations · 2 across the 2 of their papers we have counts for
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.CY2016★ 2 cited
Towards a Unified Model of Accountability Infrastructures
Severin Kacianka, Florian Kelbert, Alexander Pretschner
Accountability aims to provide explanations for why unwanted situations occurred, thus providing means to assign responsibility and liability. As such, accountability has slightly…