Computing queries with higher-order logics.
Lauri HellaJose Maria Turull TorresPublished in: Theor. Comput. Sci. (2006)
Keyphrases
- higher order
- higher order logic
- query language
- pairwise
- natural images
- query processing
- high order
- complex queries
- anti unification
- expressive power
- database
- modal logic
- efficient processing
- range queries
- web search engines
- query evaluation
- user queries
- database queries
- response time
- retrieval systems
- markov random field
- inference rules
- data sources
- search queries
- low order
- query formulation
- conditional random fields