Cantor meets scott: semantic foundations for probabilistic networks.

Steffen Smolka Praveen Kumar Nate Foster Dexter Kozen Alexandra Silva

Published in: POPL (2017)

Keyphrases

probabilistic networks
influence diagrams
probabilistic inference
bayesian belief networks
bayesian networks
semantic information
markov networks
graphical models
artificial intelligence
dynamic probabilistic networks
natural language
continuous variables
genetic algorithm
posterior probability