Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs.
Efthymia TsamouraVíctor Gutiérrez-BasultoAngelika KimmigPublished in: AAAI (2020)
Keyphrases
- probabilistic logic programs
- expressive power
- logic programming
- deductive databases
- query answering
- probabilistic reasoning
- query language
- decision making
- probabilistic inference
- transitive closure
- bayesian networks
- first order logic
- probabilistic logic
- inference process
- function free horn
- data integration
- integrity constraints
- belief networks
- decision theoretic
- data complexity