Representing first-order causal theories by logic programs

DOI10.1017/S1471068411000081zbMath1247.68043MaRDI QIDQ2909525

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

Publication date: 30 August 2012

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

reasoning about actionsanswer set programmingnonmonotonic causal logic

Mathematics Subject Classification ID

Classical first-order logic (03B10) Logic programming (68N17)

Related Items (3)

Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming ⋮ Characterizing causal action theories and their implementations in answer set programming ⋮ Functional completion

Uses Software

• Coala
• f2lp
• CCalc

Cites Work

• Stable models and circumscription
• Nonmonotonic causal theories
• Representing the Zoo World and the Traffic World in the language of the Causal Calculator
• On the logic of causal explanation
• Logic programs with stable model semantics as a constraint programming paradigm
• Translating First-Order Causal Theories into Answer Set Programming
• Specifying norm-governed computational societies

This page was built for publication: Representing first-order causal theories by logic programs