Logics with aggregate operators.

Lauri Hella Leonid Libkin Juha Nurmonen Limsoon Wong

Published in: J. ACM (2001)

Keyphrases

expressive power
aggregate functions
modal logic
modal operators
inference rules
database
neural network
machine learning
information systems
decision trees
query language
fuzzy logic
aggregation operators
computational properties
epistemic logic
propositional calculus