Reformulating action language C+ in answer set programming

DOI10.1007/978-3-642-30743-0_28MaRDI QIDQ2900536zbMATH OpenOpenAlexFDO

Authors Joohyung Lee

Publication date 23 July 2012

Published in Correct Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30743-0_28

Mathematics Subject Classification ID

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

Recommendations

• Representing the language of the causal calculator in answer set programming
• Cplus2ASP: computing action language \({\mathcal C}+\) in answer set programming
• Action language \(\mathcal{BC}+\)
• Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
• Distant causation in \(\mathcal C+\)

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• Extending and implementing the stable model semantics
• Logic Programming and Nonmonotonic Reasoning
• Nonmonotonic causal theories
• Representing first-order causal theories by logic programs
• Representing the language of the causal calculator in answer set programming
• Stable models and circumscription

Cited in

(5)

• Representing the language of the causal calculator in answer set programming
• Action language \(\mathcal{BC}+\)
• Cplus2ASP: computing action language \({\mathcal C}+\) in answer set programming
• Characterizing causal action theories and their implementations in answer set programming
• Extending action language \(\mathcal{C}+\) by formalizing composite actions

Describes a project that uses

Uses Software

• f2lp
• CCalc

This page was built for publication: Reformulating action language \(\mathcal{C}+\) in answer set programming

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