Probabilistic Rely-guarantee Calculus.

Annabelle McIver Tahiry M. Rabehaja Georg Struth

Published in: CoRR (2014)

Keyphrases

probabilistic model
generative model
probabilistic approaches
database
graphical models
information theoretic
probabilistic logic
genetic algorithm
e learning
bayesian networks
context sensitive
probabilistic networks
probabilistic interpretation
algebraic structure