Sciweavers

Share
CORR
2011
Springer

Representing First-Order Causal Theories by Logic Programs

8 years 15 days ago
Representing First-Order Causal Theories by Logic Programs
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain’s embedding of definite propositional causal theories into logic programming paved the way to the use of answer set solvers for answering queries about actions described in such languages. In this paper we extend this embedding to nondefinite theories and to first-order causal logic.
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vlad
Added 13 May 2011
Updated 13 May 2011
Type Journal
Year 2011
Where CORR
Authors Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang
Comments (0)
books