Quantifier Elimination for Statistical Problems.

Dan Geiger Christopher Meek

Published in: UAI (1999)

Keyphrases

quantifier elimination
artificial intelligence
objective function
query language
object oriented
functional programming