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

Xiaoping Chen Guoqiang Jin Fangkai Yang

Published in: Correct Reasoning (2012)

Keyphrases

action language
reasoning about actions
description language
concurrent actions
action descriptions
action theories
answer set programming
situation calculus
web services
logic programming
natural language
orders of magnitude
domain description