Probabilistic Termination of CHRiSM Programs.

Jon Sneyers Danny De Schreye

Published in: LOPSTR (2011)

Keyphrases

bayesian networks
data driven
context sensitive
uncertain data
probabilistic model
computer programs
database
data streams
control structures
probabilistic approaches
real world
artificial intelligence
decision making
probabilistic logic
probabilistic interpretation