Weak Similarity in Higher-Order Mathematical Operational Semantics.

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

Published in: CoRR (2023)

Keyphrases

operational semantics
higher order
formal semantics
similarity measure
pairwise
data model
model theoretic
markov random field
declarative semantics
denotational semantics
mental states
activity diagrams
knowledge representation
life cycle
black box
agent programming