3 papers
cs.DL2019
Taxonomy-as-a-Service: How To Structure Your Related Work
Mohsen Ahmadvand, Amjad Ibrahim, Felix Huber
Structuring related work is a daunting task encompassing literature review, classification, comparison (primarily in the form of concepts), and gap analysis. Building taxonomies is…
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…