Stateful Structural Operational Semantics.

Sergey Goncharov Stefan Milius Lutz Schröder Stelios Tsampas Henning Urbat

Published in: CoRR (2022)

Keyphrases

operational semantics
formal semantics
mental states
activity diagrams
denotational semantics
model theoretic
data model
declarative semantics
artificial intelligence
multi agent
multi agent systems
expert systems
relational databases