PTTP and Linked Inference.

Mark E. Stickel

Published in: Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)

Keyphrases

automated theorem proving
theorem proving
inference process
bayesian networks
theorem prover
data sets
case study
probabilistic inference
bayesian inference
efficient learning
belief networks
inference mechanism