On the Expressive Power of Cost Logics over Infinite Words.

Denis Kuperberg Michael Vanden Boom

Published in: ICALP (2) (2012)

Keyphrases

expressive power
first order logic
computational properties
query language
data complexity
transitive closure
relational algebra
artificial intelligence
relational calculus
machine learning
knowledge base
aggregate functions
closure properties