Login / Signup
A Calculus for Multi-language Operational Semantics.
Matteo Cimini
Published in:
VSTTE (2021)
Keyphrases
</>
operational semantics
term rewriting
model theoretic
formal semantics
declarative semantics
agent programming
data model
mental states
formal language
cooperative
denotational semantics
knowledge base
information extraction
natural language processing
computational intelligence
speech acts