Abstract Saturation-Based Inference.

Nachum Dershowitz Claude Kirchner

Published in: LICS (2003)

Keyphrases

bayesian inference
bayesian networks
higher level
artificial intelligence
knowledge base
real world
probabilistic inference
probabilistic model
inference problems
efficient learning
random fields
low level
artificial neural networks
high level
image segmentation
case study
website