Demonic, angelic and unbounded probabilistic choices in sequential programs.

Annabelle McIver Carroll Morgan

Published in: Acta Informatica (2001)

Keyphrases

probabilistic model
generative model
database
data driven
uncertain data
automatic programming
case study
databases
neural network
high level
trade off
conditional probabilities
computer programs
sequential data
probabilistic logic
sequential search