Sciweavers

Share
JELIA
2010
Springer

Translating First-Order Causal Theories into Answer Set Programming

8 years 4 months ago
Translating First-Order Causal Theories into Answer Set Programming
Abstract. 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.
Vladimir Lifschitz, Fangkai Yang
Added 28 Jan 2011
Updated 28 Jan 2011
Type Journal
Year 2010
Where JELIA
Authors Vladimir Lifschitz, Fangkai Yang
Comments (0)
books