Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions.

Chengcheng Wu Yongxin Zhao Huibiao Zhu

Published in: UTP (2012)

Keyphrases

operational semantics
formal semantics
model theoretic
term rewriting
denotational semantics
mental states
data model
declarative semantics
agent programming
mobile robot
intelligent agents
modeling language
collaborative learning
speech acts
algebraic structure
relational databases
natural language