Approximate Inference in Default Logic and Circumscription.
Marco CadoliMarco SchaerfPublished in: ECAI (1992)
Keyphrases
- approximate inference
- default logic
- graphical models
- autoepistemic logic
- belief propagation
- default theories
- probabilistic inference
- nonmonotonic reasoning
- default reasoning
- parameter estimation
- nonmonotonic logics
- gaussian process
- logic programming
- message passing
- bayesian networks
- exact inference
- fixed point
- latent variables
- default rules
- conditional random fields
- modal logic
- classical logic
- probabilistic model
- random variables
- post processing
- graph cuts
- least squares
- computer vision