Inference of Probabilities over a Stochastic IL-System by Quantifier Elimination.
Hiroshi YoshidaKatsuhisa HorimotoHirokazu AnaiPublished in: Math. Comput. Sci. (2008)
Keyphrases
- quantifier elimination
- constraint propagation
- belief networks
- functional programming
- presburger arithmetic
- first order logic
- cardinality constraints
- constraint databases
- probability distribution
- bayesian networks
- relational databases
- databases
- probability theory
- conditional probabilities
- temporal data
- constraint programming
- object oriented
- artificial intelligence
- machine learning