Asymptotic Conditional Probabilities for First-Order Logic
Adam J. GroveJoseph Y. HalpernDaphne KollerPublished in: STOC (1992)
Keyphrases
- conditional probabilities
- first order logic
- expressive power
- probabilistic inference
- probability distribution
- bayesian networks
- probabilistic model
- inference rules
- theorem proving
- propositional logic
- random variables
- markov networks
- belief networks
- posterior probability
- inductive logic programming
- probabilistic reasoning
- transitive closure
- class labels
- knowledge representation
- probabilistic graphical models
- markov logic networks
- markov logic
- machine learning
- prior knowledge