Higher-order semantics and extensionality.
Christoph BenzmüllerChad E. BrownMichael KohlhasePublished in: J. Symb. Log. (2004)
Keyphrases
- higher order
- higher order logic
- high order
- pairwise
- natural images
- formal semantics
- low order
- markov random field
- logic programming
- semantic information
- lower order
- database
- natural language
- conditional random fields
- lambda calculus
- database query languages
- conditional logic
- inductive learning
- conceptual model
- high level
- databases