Probabilistic Inference by Projected Weighted Model Counting on Horn Clauses.
Alexandre DubrayPierre SchausSiegfried NijssenPublished in: CP (2023)
Keyphrases
- weighted model counting
- horn clauses
- probabilistic inference
- first order logic
- inference rules
- graphical models
- bayesian networks
- conditional probabilities
- logic programs
- bayesian inference
- inductive logic programming
- belief networks
- approximate inference
- message passing
- database queries
- exact inference
- logic programming
- probabilistic model
- knowledge base
- graph cuts
- probability distribution