Refinement Algebra for Probabilistic Programs.

Larissa Meinicke Kim Solin

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

data model
probabilistic model
bayesian networks
generative model
probabilistic logic
database
data sets
search engine
multi agent
query language
relational algebra
probabilistic reasoning
computer programs
probability theory
algebraic expressions