Configurable logic style translation based on an openaccess engine.
Egon ValentiniEdmund HaselwanterRobert UlmerThomas PoppPublished in: ICECS (2005)
Keyphrases
- machine translation
- logic programming
- multi valued
- query translation
- automated reasoning
- modal logic
- information retrieval
- truth values
- predicate logic
- relational databases
- theorem prover
- cross language
- inference rules
- data model
- logical framework
- statistical machine translation
- machine translation system
- learning algorithm
- real time
- epistemic logic
- delay insensitive
- air fuel ratio