A computer algebra package for approximate conditional inference.
Ruggero BellioAlessandra R. BrazzalePublished in: Stat. Comput. (2001)
Keyphrases
- computer algebra
- theorem prover
- nonmonotonic inference
- probabilistic inference
- bayesian networks
- inference in graphical models
- random field model
- inference process
- bayesian model
- computer algebra systems
- dynamic bayesian networks
- bayesian inference
- inference mechanism
- random fields
- belief networks
- conditional probabilities
- automated theorem provers
- nonmonotonic reasoning
- expectation propagation
- database