Translating first-order causal theories into answer set programming

DOI10.1007/978-3-642-15675-5_22MaRDI QIDQ4930769zbMATH OpenOpenAlexFDO

Authors Vladimir Lifschitz, Fangkai Yang

Publication date 1 October 2010

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15675-5_22

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Representing first-order causal theories by logic programs
• Representing the language of the causal calculator in answer set programming
• scientific article; zbMATH DE number 1453060
• Nonmonotonic causal theories
• Characterizing causal action theories and their implementations in answer set programming

Cited in

(5)

• Characterizing causal action theories and their implementations in answer set programming
• Representing the language of the causal calculator in answer set programming
• Representing first-order causal theories by logic programs
• Classical logic event calculus as answer set programming
• Logic Programming and Nonmonotonic Reasoning

Describes a project that uses

Uses Software

• Coala
• CCalc

This page was built for publication: Translating first-order causal theories into answer set programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4930769)