Causal Theories as Logic Programs.
Paolo Ferraris · 2006
Abstract. We show how we can rewrite any causal theory — under the semantics of causal logic due to McCain and Turner — as a logic program in the answer set semantics. Using this translation the models of any causal theory can be computed using answer set solvers. 1