Denotational semantics for languages for inference: semirings, monads, and tensors.
Cristina MatacheSean K. MossSam StatonAriadne Si SuoPublished in: CoRR (2023)
Keyphrases
- denotational semantics
- programming language
- grammatical inference
- operational semantics
- knowledge representation languages
- query language
- high order
- expressive power
- constraint satisfaction problems
- diffusion tensor
- bayesian networks
- abstract data types
- databases
- database
- knowledge representation
- data model
- database systems