A Full Operational Semantics for Asynchronous Relational Networks.

Ignacio Vissani Carlos Gustavo López Pombo Ionut Tutu José Luiz Fiadeiro

Published in: WADT (2014)

Keyphrases

operational semantics
data model
formal semantics
model theoretic
denotational semantics
mental states
declarative semantics
social networks
natural language
intelligent systems
agent programming
activity diagrams