Probabilistic Predicate Transformers.

Carroll Morgan Annabelle McIver Karen Seidel

Published in: ACM Trans. Program. Lang. Syst. (1996)

Keyphrases

bayesian networks
generative model
training data
probabilistic model
data driven
first order logic
probabilistic reasoning
databases
neural network
knowledge base
three dimensional
hidden markov models
context sensitive
probabilistic logic
monotonicity constraints