An action semantics for MOF 2.0.

Richard F. Paige Dimitrios S. Kolovos Fiona Polack

Published in: SAC (2006)

Keyphrases

action descriptions
action language
formal semantics
reasoning mechanism
action theories
logic programming
speech acts
semantic representation
conceptual model
action selection
logical language
data sets
human actions
semantic information
description logics
state space
computer vision