Keyphrases
- first order logic
- expressive power
- higher order
- quantifier elimination
- action theories
- transitive closure
- databases
- stochastic dominance
- object oriented languages
- language identification
- language independent
- grammatical inference
- data complexity
- computer programs
- machine learning
- linear temporal logic
- data sets
- multilingual information retrieval