Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination.
Vera KoponenPublished in: Theor. Comput. Sci. (2020)
Keyphrases
- conditional probabilities
- quantifier elimination
- probabilistic inference
- bayesian networks
- quantifier free
- constraint propagation
- presburger arithmetic
- belief networks
- graphical models
- functional programming
- probability distribution
- first order logic
- constraint databases
- probabilistic model
- cardinality constraints
- random variables
- inference rules
- probabilistic reasoning
- class labels
- conditional independence
- modal logic
- logic programming
- boolean algebra
- data sets
- object oriented
- temporal constraints
- message passing