Partial correctness for probabilistic demonic programs.

Annabelle McIver Carroll Morgan

Published in: Theor. Comput. Sci. (2001)

Keyphrases

bayesian networks
provably correct
uncertain data
probabilistic approaches
probabilistic model
generative model
answer sets
knowledge base
relational databases
expert systems
databases
search algorithm
multiscale
computer programs
probabilistic logic
probabilistic networks
automatic programming
decision making