Approximate Inference in Default Logic and Circumscription.
Marco CadoliMarco SchaerfPublished in: Fundam. Informaticae (1995)
Keyphrases
- default logic
- approximate inference
- graphical models
- belief propagation
- autoepistemic logic
- probabilistic inference
- logic programming
- default reasoning
- default theories
- nonmonotonic reasoning
- exact inference
- nonmonotonic logics
- gaussian process
- parameter estimation
- message passing
- fixed point
- bayesian networks
- modal logic
- latent variables
- conditional random fields
- markov random field
- probabilistic model
- classical logic
- logic programs
- graph cuts
- default rules
- stereo matching
- random variables
- computer vision
- truth maintenance systems
- commonsense reasoning
- image segmentation