Skipping the binder bureaucracy with mixed embeddings in a semantics course (functional pearl).
Adam ChlipalaPublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- logic programming
- formal semantics
- semantic information
- conditional independence
- vector space
- functional analysis
- low dimensional
- semantic representation
- causal models
- conceptual graphs
- manifold learning
- logical language
- specification language
- default reasoning
- databases
- belief revision
- conceptual model
- high dimensional data
- data model
- data mining