Weak Similarity in Higher-Order Mathematical Operational Semantics.

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

Published in: LICS (2023)

Keyphrases

operational semantics
higher order
formal semantics
similarity measure
mental states
declarative semantics
model theoretic
denotational semantics
pairwise
markov random field
cooperative
database
e learning
data model
speech acts
agent programming