Login / Signup
Interleaving Belief Updating and Reasoning in Abductive Logic Programming.
Fariba Sadri
Francesca Toni
Published in:
ECAI (2006)
Keyphrases
</>
belief updating
abductive logic programming
bayes networks
logic programs
bayesian networks
belief revision
bayesian belief networks
graphical models
proof procedure
logic programming
junction tree
dynamic programming
heuristic search
probabilistic inference
exact inference
probabilistic model
knowledge base