The Power of Counting Logics on Restricted Classes of Finite Structures.

Anuj Dawar David Richerby

Published in: CSL (2007)

Keyphrases

expressive power
power consumption
modal logic
machine learning
bayesian networks
inference rules
data sets
information systems
relational databases
multi class
classical logic
decision procedures