A Translation from Logic to English with Dynamic Semantics.
Elizabeth CoppockDavid BaxterPublished in: JSAI-isAI Workshops (2009)
Keyphrases
- machine translation
- logic programming
- sound and complete axiomatization
- cross language information retrieval
- epistemic logic
- proof theory
- sound and complete with respect
- query translation
- statistical machine translation
- language learning
- proof theoretic
- cross language retrieval
- nonmonotonic logics
- machine translation system
- computational properties
- english language
- natural language
- modal logic
- cross language
- target language
- algebraic structure
- chinese english
- active rules
- logical framework
- language resources
- word alignment
- formal language
- conditional logic
- proof procedures
- propositional dynamic logic
- belief revision
- answer questions