Tree Languages Defined in First-Order Logic with One Quantifier Alternation
Mikolaj BojanczykLuc SegoufinPublished in: Log. Methods Comput. Sci. (2010)
Keyphrases
- first order logic
- quantifier elimination
- expressive power
- tree languages
- knowledge representation
- inductive logic programming
- relational algebra
- representation language
- transitive closure
- constraint databases
- markov logic networks
- probabilistic model
- data sources
- machine learning
- context free
- domain knowledge
- learning algorithm