Exploiting Labels in Structural Operational Semantics.

Peter D. Mosses

Published in: Fundam. Informaticae (2004)

Keyphrases

operational semantics
formal semantics
model theoretic
mental states
denotational semantics
data model
knowledge base
agent programming
software engineering
multiagent systems