From Checking to Inference: Actual Causality Computations as Optimization Problems

DOI10.1007/978-3-030-59152-6_19MaRDI QIDQ6485888zbMATH OpenFDO

Authors Alexander Pretschner

Publication date 22 December 2022

Published in 1517.68357 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-59152-6_19

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27) Integer programming (90C10)

Recommendations

• Causality checking for complex system models
• Complexity results for structure-based causality.
• Actual causality
• The computational complexity of structure-based causality
• Actual causation and the art of modeling

Cited in

(3)

• Causality checking for complex system models
• An efficient algorithm for computing causal trace sets in causality checking
• From verification to causality-based explications (invited talk)

This page was built for publication: From Checking to Inference: Actual Causality Computations as Optimization Problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6485888)