UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Translating First-Order Causal Theories into Answer Set Programming (2010)
Vladimir Lifschitz
and
Fangkai Yang
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.
View:
PDF
Citation:
In
Proceedings of the European Conference on Logics in Artificial Intelligence (JELIA)
2010.
Bibtex:
@Inproceedings{lif10, title={Translating First-Order Causal Theories into Answer Set Programming}, author={Vladimir Lifschitz and Fangkai Yang}, booktitle={Proceedings of the European Conference on Logics in Artificial Intelligence (JELIA)}, url="http://www.cs.utexas.edu/users/ai-lab?lif10", year={2010} }
People
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Fangkai Yang
Ph.D. Alumni
fkyang [at] cs utexas edu
Areas of Interest
Answer Set Programming
Causal Theories