A first-order conditional probability logic.
Milos MilosevicZoran OgnjanovicPublished in: Log. J. IGPL (2012)
Keyphrases
- conditional probabilities
- general logic programs
- linear temporal logic
- probability distribution
- horn clauses
- bayesian networks
- probabilistic logic
- inference rules
- first order logic
- probabilistic model
- belief networks
- conditional logic
- random variables
- higher order
- posterior probability
- predicate calculus
- classical first order logic
- bayesian model
- sound and complete with respect
- joint distribution
- classical logic
- class labels
- discrete random variables
- logic programming
- predicate logic
- model theoretic
- network parameters
- prior probabilities
- modal logic
- joint probability
- logical formulas
- logic programs
- logical theories
- temporal logic
- finite model theory
- supervised learning
- graphical models
- epistemic logic