An Example-Tracing Tutor for Teaching NL to FOL Conversion.
Themistoklis ChronopoulosIsidoros PerikosIoannis HatzilygeroudisPublished in: AIAI (2010)
Keyphrases
- intelligent tutoring
- natural language
- intelligent tutors
- knowledge representation
- intelligent tutoring systems
- learning environment
- student interaction
- first order logic
- web based learning
- learning process
- tutoring system
- cognitive tutor
- university level
- formal language
- natural language understanding
- e learning
- high school
- theorem proving
- cooperative learning
- distance learning
- question answering
- machine learning
- educational technology
- computer technology
- online learning
- learning community
- learning analytics
- teacher education
- representation language
- information extraction
- peer tutoring
- computer assisted instruction
- formal semantics
- teaching materials
- inference rules