UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Representing First-Order Causal Theories by Logic Programs (2012)
Paolo Ferraris
,
Joohyung Lee
,
Yuliya Lierler
,
Vladimir Lifschitz
and
Fangkai Yang
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:
@article{Ferraris:foct2010, title={Representing First-Order Causal Theories by Logic Programs}, author={Paolo Ferraris and Joohyung Lee and Yuliya Lierler and Vladimir Lifschitz and Fangkai Yang}, volume={12}, journal={Theory and Practice of Logic Programming}, number={3}, pages={383-412}, url="http://www.cs.utexas.edu/users/ai-lab?Ferraris:foct2010", year={2012} }
People
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. Alumni
fkyang [at] cs utexas edu
Areas of Interest
Causal Theories
Nonmonotonic Reasoning