A Comparison of MCMC Sampling for Probabilistic Logic Programming.
Damiano AzzoliniFabrizio RiguzziFranco MasottiEvelina LammaPublished in: AI*IA (2019)
Keyphrases
- logic programming
- logic programs
- markov chain monte carlo
- probabilistic knowledge
- probabilistic reasoning
- generative model
- deductive databases
- programming language
- posterior probability
- knowledge representation
- nonmonotonic reasoning
- answer set programming
- metropolis hastings algorithm
- logic programming language
- probabilistic model
- knowledge base
- stable models
- constraint logic programming
- answer sets
- computational logic
- procedural semantics
- default logic
- reasoning about actions
- inductive logic programming
- bayesian networks
- probabilistic logic
- database
- belief networks
- object oriented
- posterior distribution
- propositional variables
- classical first order logic
- pseudo boolean constraints
- probabilistic logic programs