Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics
Fabrizio RiguzziTerrance SwiftPublished in: CoRR (2011)
Keyphrases
- logic programming
- efficient inference
- logic programs
- probabilistic reasoning
- logic programming language
- answer set programming
- nonmonotonic reasoning
- probabilistic inference
- deductive databases
- factor graphs
- programming language
- conditional random fields
- hybrid probabilistic logic programs
- knowledge base
- inductive logic programming
- markov random field
- human pose estimation
- probabilistic logic programs
- knowledge representation
- bayesian networks
- structured prediction
- stable models
- answer sets
- probabilistic model
- default logic
- graph structure
- exact inference
- belief networks
- approximate inference
- markov networks
- message passing
- probabilistic logic
- posterior probability
- random variables
- generative model
- graphical models