Representing first-order causal theories by logic programs

Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang

Research output: Contribution to journalArticlepeer-review

9 Scopus citations


Nonmonotonic causal logic, introduced by McCain and Turner (McCain, N. and Turner, H. 1997. Causal theories of action and change. In Proceedings of National Conference on Artificial Intelligence (AAAI), Stanford, CA, 460"465) became the 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 the first-order causal logic.

Original languageEnglish (US)
Pages (from-to)383-412
Number of pages30
JournalTheory and Practice of Logic Programming
Issue number3
StatePublished - May 2012


  • answer set programming
  • nonmonotonic causal logic
  • reasoning about actions

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computational Theory and Mathematics
  • Artificial Intelligence


Dive into the research topics of 'Representing first-order causal theories by logic programs'. Together they form a unique fingerprint.

Cite this