A Formalism for Causal Explanations with an Answer Set Programming Translation