Keyphrases
- high level
- theorem prover
- cross lingual
- language independent
- expressive power
- linear logic
- multi lingual
- first order logic
- theorem proving
- functional language
- target language
- english text
- multilingual information retrieval
- linguistic resources
- statistical machine translation
- information extraction
- low level
- expert systems