Keyphrases
- probabilistic inference
- graphical models
- logical inference
- weighted model counting
- conditional probabilities
- probabilistic reasoning
- approximate inference
- bayesian networks
- belief networks
- influence diagrams
- bayesian belief networks
- context specific independence
- automated reasoning
- message passing
- modal logic
- variable elimination
- efficient inference
- bucket elimination
- belief propagation
- logic programming
- knowledge base
- machine learning
- random variables
- lower bound
- elimination algorithm
- similarity measure