Login / Signup
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