A Formalized Hierarchy of Probabilistic System Types - Proof Pearl.

Johannes Hölzl Andreas Lochbihler Dmitriy Traytel

Published in: ITP (2015)

Keyphrases

bayesian networks
data driven
generative model
machine learning
information systems
e learning
artificial neural networks
information theoretic
uncertain data
theorem prover
causal models
cost based abduction