Keyphrases
- knowledge base
- probabilistic logic
- first order logic
- natural language
- english language
- machine translation
- stochastic dominance
- higher order
- probabilistic reasoning
- reasoning systems
- answer questions
- spatial reasoning
- qualitative reasoning
- reasoning tasks
- language learning
- cross language information retrieval
- query translation
- horn clauses
- expert systems
- language identification
- quantifier elimination
- neural network