The FO^2 alternation hierarchy is decidable

Manfred Kufleitner Pascal Weil

Published in: CoRR (2012)

Keyphrases

first order logic
transitive closure
expressive power
inference rules
hierarchical structure
guarded fragment
knowledge representation
higher level
lower level
learning algorithm
horn clauses