A domain theory for statistical probabilistic programming.
Matthijs VákárOhad KammarSam StatonPublished in: Proc. ACM Program. Lang. (2019)
Keyphrases
- domain theory
- explanation based learning
- domain knowledge
- lazy learning
- inductive learning
- complex domains
- background knowledge
- probabilistic model
- programming language
- bayesian networks
- information theoretic
- training examples
- small number
- domain specific knowledge
- knowledge based neural networks
- case base
- human experts
- case based reasoning
- low level
- support vector
- data sets