Student Translations of Natural Language into Logic: The Grade Grinder Translation Corpus Release 1.0.
Dave Barker-PlummerRichard CoxRobert DalePublished in: EDM (2011)
Keyphrases
- machine translation
- natural language
- statistical machine translation
- machine translation system
- parallel texts
- parallel corpora
- chinese english
- cross language information retrieval
- query translation
- parallel corpus
- language processing
- natural language processing
- formal language
- word alignment
- natural language generation
- cross lingual
- manually annotated
- learning environment
- information extraction
- student learning
- bilingual dictionaries
- natural language text
- knowledge representation
- target language
- classical logic
- word sense disambiguation
- intelligent tutoring systems
- logic programming
- sentence pairs
- natural language interface
- comparable corpora
- grade level
- predicate logic
- english words
- undergraduate students
- tutoring system
- learning process
- semantic analysis
- student model
- modal logic
- training corpus
- semantic interpretation
- machine learning
- noun phrases
- logical formulas
- learning styles
- query expansion
- knowledge base