Extending action language C+ by formalizing composite actions

DOI10.1007/978-3-642-30743-0_10zbMATH Open1357.68213OpenAlexW57087547MaRDI QIDQ2900515FDOQ2900515

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

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

Mathematics Subject Classification ID

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

Cites Work

• GOLOG: A logic programming language for dynamic domains
• Nonmonotonic causal theories
• Title not available (Why is that?)
• STRIPS: A new approach to the application of theorem proving to problem solving
• Generality in artificial intelligence
• Title not available (Why is that?)
• Representing the language of the causal calculator in answer set programming

Cited In (1)

• Generating action compilers by partial evaluation

Uses Software

• GOLOG
• CCalc
• ALM

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)