Inference Rules for High-Order Consistency in Weighted CSP.
Carlos AnsóteguiMaria Luisa BonetJordi LevyFelip ManyàPublished in: AAAI (2007)
Keyphrases
- high order
- inference rules
- higher order
- constraint networks
- constraint satisfaction problems
- low order
- first order logic
- pairwise
- theorem prover
- logical framework
- constraint satisfaction
- modal logic
- constraint programming
- max sat solver
- truth values
- markov random field
- constraint propagation
- lower order
- bayesian logistic regression
- np complete
- knowledge base
- integrity constraints
- small number
- relational databases
- constraint solving
- objective function
- set of inference rules
- decision trees