Representing First-Order Causal Theories by Logic Programs (2012)
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.
View:
PDF
Citation:
Theory and Practice of Logic Programming, Vol. 12, 3 (2012), pp. 383-412.
Bibtex:

Paolo Ferraris Ph.D. Alumni pieffe8 [at] gmail com
Joohyung Lee Ph.D. Alumni joolee [at] asu edu
Yuliya Lierler Ph.D. Alumni ylierler [at] unomaha edu
Vladimir Lifschitz Faculty vl [at] cs utexas edu
Fangkai Yang Ph.D. Student fkyang [at] cs utexas edu