A formalism for causal explanations with an Answer Set Programming translation

Open in new window