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.

PDF

In Proceedings of Workshop on Logic Programming 2006.

@inproceedings{ferp06, title={Causal Theories as Logic Programs}, author={Paolo Ferraris}, booktitle={Proceedings of Workshop on Logic Programming}, url="http://www.cs.utexas.edu/users/ai-lab?ferp06", year={2006} }