The FO2 alternation hierarchy is decidable.

Manfred Kufleitner Pascal Weil

Published in: CSL (2012)

Keyphrases

first order logic
transitive closure
hierarchical structure
expressive power
database
data sets
knowledge representation
incomplete information
machine learning
case study
higher level
lower level
hierarchical organization
unions of conjunctive queries