First-order definable counting-only queries.
Jelle HellingsMarc GyssensDirk Van GuchtYuqing WuPublished in: Ann. Math. Artif. Intell. (2019)
Keyphrases
- first order logic
- query language
- higher order
- response time
- query processing
- complex queries
- efficient processing
- web search engines
- database queries
- query evaluation
- answering queries
- query formulation
- aggregate queries
- boolean queries
- expressive power
- database
- probabilistic databases
- monadic second order logic
- situation calculus
- query logs
- range queries
- query terms
- query answering
- action theories
- unions of conjunctive queries
- retrieval systems