A deterministic rewrite system for the probabilistic λ-calculus.

Thomas Leventis

Published in: Math. Struct. Comput. Sci. (2019)

Keyphrases

probabilistic model
probabilistic logic
context sensitive
decomposable negation normal form
real world
image segmentation
generative model
information theoretic
conditional probabilities
black box
probabilistic reasoning
provably correct