A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Translating First-Order Causal Theories into Answer Set Programming
[chapter]
2010
Lecture Notes in Computer Science
Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional causal theories into logic programming, and this work paved the way to the use of answer set solvers for answering queries about actions described in causal logic. In this paper we generalize these embeddings to first-order causal logic-a system that has been used to simplify the semantics of variables in action descriptions.
doi:10.1007/978-3-642-15675-5_22
fatcat:jtoti3kjtjgnnfi5nwuodwvcnm