Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions

DOI10.1007/978-3-642-30743-0_10zbMath1357.68213OpenAlexW57087547MaRDI QIDQ2900515

Guoqiang Jin, Fangkai Yang, Xiao-Ping 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 in artificial intelligence (68T27) Logic programming (68N17)

Uses Software

• GOLOG
• CCalc
• ALM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nonmonotonic causal theories
• STRIPS: A new approach to the application of theorem proving to problem solving
• Generality in artificial intelligence
• GOLOG: A logic programming language for dynamic domains

This page was built for publication: Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions