Cplus2ASP: computing action language C+ in answer set programming

DOI10.1007/978-3-642-40564-8_13MaRDI QIDQ2851240zbMATH OpenOpenAlexFDO

Authors Joseph Babb, Joohyung Lee

Publication date 10 October 2013

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40564-8_13

Mathematics Subject Classification ID

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

Recommendations

• Representing the language of the causal calculator in answer set programming
• Reformulating action language \(\mathcal{C}+\) in answer set programming
• Action language \(\mathcal{BC}+\)
• Extending action language \(\mathcal{C}+\) by formalizing composite actions
• Distant causation in \(\mathcal C+\)

Cited in

(10)

• Representing hybrid automata by action language modulo theories
• Approximate postdictive reasoning with answer set programming
• Action language \(\mathcal{BC}+\)
• Reformulating action language \(\mathcal{C}+\) in answer set programming
• First-order stable model semantics with intensional functions
• Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL
• Coala: a compiler from action languages to ASP
• System \textsc{aspmt2smt}: computing ASPMT theories by SMT solvers
• Simulation of action theories and an application to general game-playing robots
• Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs

Describes a project that uses

Uses Software

• CCalc
• f2lp
• Cplus2ASP
• oClingo
• Coala

This page was built for publication: Cplus2ASP: computing 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 Q2851240)