Translating Higher-Order Clauses to First-Order Clauses.
Jia MengLawrence C. PaulsonPublished in: J. Autom. Reason. (2008)
Keyphrases
- higher order
- first order logic
- horn clauses
- search space
- markov random field
- propositional logic
- natural images
- function free horn
- boolean formulae
- anti unification
- inference rules
- high order
- machine learning
- conditional random fields
- consequence finding
- background knowledge
- knowledge base
- low order
- quantifier elimination