Arity and Alternation: A Proper Hierarchy in Higher Order Logics.
Flavio Antonio FerrarottiJose Maria Turull TorresPublished in: FoIKS (2006)
Keyphrases
- higher order
- higher order logic
- anti unification
- high order
- expressive power
- markov random field
- natural images
- hierarchical structure
- pairwise
- conditional random fields
- lower order
- higher level
- markov models
- low order
- conditional logic
- database
- first order logic
- modal logic
- lower level
- propositional dynamic logic
- class hierarchy
- knowledge representation
- high level