Higher-Order Mathematical Operational Semantics.
Sergey GoncharovStefan MiliusLutz SchröderStelios TsampasHenning UrbatPublished in: CoRR (2024)
Keyphrases
- operational semantics
- higher order
- formal semantics
- high order
- data model
- pairwise
- declarative semantics
- mental states
- model theoretic
- denotational semantics
- markov random field
- activity diagrams
- artificial intelligence
- agent programming
- intelligent agents
- database
- dynamic environments
- learning process
- machine learning