Expressibility of Higher Order Logics.
Lauri HellaJose Maria Turull TorresPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- higher order
- higher order logic
- anti unification
- high order
- natural images
- expressive power
- pairwise
- markov random field
- modal logic
- propositional calculus
- inductive learning
- first order logic
- markov models
- low order
- inference rules
- nonmonotonic logics
- data sets
- real time
- knowledge base
- databases
- conditional logic
- propositional dynamic logic
- lambda calculus
- proof procedures
- learning algorithm
- proof theory
- lower order
- inductive logic programming
- artificial intelligence
- information systems
- computational properties
- classical logic
- data model
- conditional random fields