Knowledge Compilation with Continuous Random Variables and its Application in Hybrid Probabilistic Logic Programming.
Pedro Zuidberg Dos MartiresAnton DriesLuc De RaedtPublished in: CoRR (2018)
Keyphrases
- logic programming
- random variables
- knowledge compilation
- bayesian networks
- logic programs
- product configuration
- conditional probabilities
- probabilistic reasoning
- decomposable negation normal form
- graphical models
- probability distribution
- nonmonotonic reasoning
- probabilistic model
- answer set programming
- default logic
- knowledge base
- inductive logic programming
- programming language
- probabilistic inference
- knowledge representation
- reasoning tasks
- belief networks
- conditional independence
- normal form
- answer sets
- general purpose
- polynomial size
- probabilistic logic
- constraint satisfaction problems
- information extraction
- probability theory