Action Semantics and ASF+SDF: System Demonstration.

Peter D. Mosses

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

action descriptions
action language
formal semantics
action theories
conceptual model
semantic representation
logic programming
learning algorithm
human actions
action selection
argumentation frameworks
operational semantics
reasoning about actions