Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics.
Fabrizio RiguzziTerrance SwiftPublished in: Theory Pract. Log. Program. (2013)
Keyphrases
- logic programming
- efficient inference
- logic programs
- probabilistic reasoning
- probabilistic inference
- logic programming language
- conditional random fields
- bayesian networks
- answer set programming
- deductive databases
- factor graphs
- probabilistic logic programs
- knowledge base
- nonmonotonic reasoning
- knowledge representation
- exact inference
- probabilistic model
- programming language
- hidden variables
- hybrid probabilistic logic programs
- disjunctive logic programming
- probabilistic logic
- graph structure
- fully connected
- human pose estimation
- default logic
- structured prediction
- stable models
- answer sets
- approximate inference
- probability distribution
- inductive logic programming
- markov random field
- graphical models
- posterior probability
- influence diagrams
- normal logic programs
- markov networks
- conditional probabilities
- data model
- relational databases
- pairwise
- belief networks
- expert systems
- natural language