Monotonicity Inference for Higher-Order Formulas.
Jasmin Christian BlanchetteAlexander KraussPublished in: J. Autom. Reason. (2011)
Keyphrases
- higher order
- natural images
- high order
- markov random field
- pairwise
- low order
- bayesian inference
- inference process
- dynamic bayesian networks
- grammatical inference
- random fields
- probabilistic inference
- data sets
- bayesian networks
- lower order
- inference mechanism
- higher order cliques
- belief networks
- probabilistic model
- genetic algorithm
- neural network