Keyphrases
- higher order
- anti unification
- propositional calculus
- horn logic
- natural images
- information systems
- website
- low order
- feature representation
- high order
- image classification
- higher order logic
- lower order
- first order logic
- database
- markov random field
- pairwise
- expert systems
- similarity measure
- knowledge base
- machine learning