Tree Languages Defined in First-Order Logic with One Quantifier Alternation.

Mikolaj Bojanczyk Luc Segoufin

Published in: ICALP (2) (2008)

Keyphrases

first order logic
quantifier elimination
expressive power
tree languages
knowledge representation
inductive logic programming
transitive closure
representation language
relational algebra
tree automata
constraint databases
database
inductive learning
markov logic networks