A parallel action language for embedded applications and its compilation flow.

Ivan Llopard Albert Cohen Christian Fabre Nicolas Hili

Published in: SCOPES (2014)

Keyphrases

action language
description language
reasoning about actions
action descriptions
action theories
concurrent actions
situation calculus
knowledge representation
domain specific
domain description