Translating First-Order Causal Theories into Answer Set Programming

@inproceedings{Lifschitz2010TranslatingFC,
  title={Translating First-Order Causal Theories into Answer Set Programming},
  author={Vladimir Lifschitz and Fangkai Yang},
  booktitle={JELIA},
  year={2010}
}
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. 

References

Publications referenced by this paper.
SHOWING 1-10 OF 20 REFERENCES

Artificial Intelligence

Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner. Nonmonotonic causal theories
  • 153(1–2):49–104,
  • 2004
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

In Proceedings of National Conference on Artificial Intelligence (AAAI)

Norman McCain, Hudson Turner. Causal theories of action, change
  • pages 460–465,
  • 1997
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL