Natural Language Dialog with a Tutor System for Mathematical Proofs.
Christoph BenzmüllerHelmut HoracekIvana Kruijff-KorbayováManfred PinkalJörg H. SiekmannMagdalena WolskaPublished in: Cognitive Systems (2005)
Keyphrases
- natural language
- mathematical proofs
- natural language processing
- dialog systems
- intelligent tutoring systems
- natural language interface
- question answering
- natural language understanding
- semantic representation
- tutoring system
- semantic interpretation
- information extraction
- semantic analysis
- machine learning
- knowledge representation
- cognitive processes
- natural language generation
- language processing
- machine translation
- dialogue system
- artificial intelligence
- neural network
- student model
- learning outcomes
- natural language text
- learning styles
- computer science
- information retrieval
- model tracing
- intelligent tutors