Monotonicity Inference for Higher-Order Formulas.
Jasmin Christian BlanchetteAlexander KraussPublished in: IJCAR (2010)
Keyphrases
- higher order
- high order
- natural images
- bayesian networks
- grammatical inference
- higher order cliques
- pairwise
- probabilistic inference
- low order
- markov random field
- bayesian inference
- efficient learning
- inference process
- genetic algorithm
- decision theoretic
- dynamic bayesian networks
- structured prediction
- real numbers
- lower order