Meta-MeTTa: an operational semantics for MeTTa.

Lucius Gregory Meredith Ben Goertzel Jonathan Warrell Adam Vandervorst

Published in: CoRR (2023)

Keyphrases

operational semantics
formal semantics
model theoretic
data model
mental states
declarative semantics
agent programming
activity diagrams
artificial intelligence
multi agent