An effective characterization of the alternation hierarchy in two-variable logic.

Andreas Krebs Howard Straubing

Published in: FSTTCS (2012)

Keyphrases

high quality
modal logic
automated reasoning
real time
data sets
real world
decision trees
database
data mining
machine learning
knowledge representation
classical logic
computational properties