Keyphrases
- expressive power
- first order logic
- higher order
- function free horn
- description languages
- inference rules
- language independent
- context free
- databases
- real time
- multilingual information retrieval
- linguistic resources
- multi lingual
- conditional logic
- modal logic
- information retrieval
- database
- relational learning
- database systems
- quantifier elimination
- arabic language
- stochastic dominance