Keyphrases
- higher order
- higher order logic
- anti unification
- expressive power
- high order
- natural images
- pairwise
- markov random field
- conditional random fields
- modal logic
- markov models
- classical logic
- epistemic logic
- lower order
- inductive logic programming
- data mining
- logical framework
- computational properties
- nonmonotonic logics
- inference rules
- lambda calculus
- propositional calculus
- content addressable