Reformulating action language C+ in answer set programming

DOI10.1007/978-3-642-30743-0_28zbMATH Open1357.68222OpenAlexW203258123MaRDI QIDQ2900536FDOQ2900536

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

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+\)

Mathematics Subject Classification ID

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

Cites Work

• Nonmonotonic causal theories
• Extending and implementing the stable model semantics
• Title not available (Why is that?)
• Logic Programming and Nonmonotonic Reasoning
• Stable models and circumscription
• Representing first-order causal theories by logic programs
• Representing the language of the causal calculator in answer set programming

Cited In (2)

• Characterizing causal action theories and their implementations in answer set programming
• Representing the language of the causal calculator in answer set programming

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)