Extending action language C+ by formalizing composite actions

DOI10.1007/978-3-642-30743-0_10MaRDI QIDQ2900515zbMATH OpenOpenAlexFDO

Authors Guoqiang Jin, Fangkai Yang, Xiaoping Chen

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_10

Mathematics Subject Classification ID

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

Recommendations

• Extending \(\mathcal{C}\)+ with composite actions for robotic task planning
• Action language \(\mathcal{BC}+\)
• Distant causation in \(\mathcal C+\)
• Reformulating action language \(\mathcal{C}+\) in answer set programming
• Action language Hybrid AL

Cites work

• scientific article; zbMATH DE number 1884393 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• GOLOG: A logic programming language for dynamic domains
• Generality in artificial intelligence
• Nonmonotonic causal theories
• Representing the language of the causal calculator in answer set programming
• STRIPS: A new approach to the application of theorem proving to problem solving

Cited in

(4)

• Generating action compilers by partial evaluation
• Online action language \(o\mathcal {BC}+\)
• Cplus2ASP: computing action language \({\mathcal C}+\) in answer set programming
• Extending \(\mathcal{C}\)+ with composite actions for robotic task planning

Describes a project that uses

Uses Software

• ALM
• CCalc
• GOLOG

This page was built for publication: Extending action language \(\mathcal{C}+\) by formalizing composite actions

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