Verifying Probabilistic Procedural Programs.

Javier Esparza Kousha Etessami

Published in: FSTTCS (2004)

Keyphrases

probabilistic model
generative model
bayesian networks
data driven
context sensitive
answer sets
probabilistic logic
information systems
object oriented
conditional probabilities
uncertain data
belief networks
probabilistic networks
conceptual knowledge
probabilistic logic programs