A many-sorted calculus based on resolution and paramodulation
A many-sorted calculus based on resolution and paramodulation
Building problem solvers
A 3-Tier Planning Architecture for Managing Tutorial Dialogue
ITS '02 Proceedings of the 6th International Conference on Intelligent Tutoring Systems
Discovery of inference rules for question-answering
Natural Language Engineering
A framework for robust semantic interpretation
NAACL 2000 Proceedings of the 1st North American chapter of the Association for Computational Linguistics conference
Journal of Automated Reasoning
Human Problem Solving
Discourse processing for explanatory essays in tutorial applications
SIGDIAL '02 Proceedings of the 3rd SIGdial workshop on Discourse and dialogue - Volume 2
Analyzing Completeness and Correctness of Utterances Using an ATMS
Proceedings of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology
Evaluating language understanding accuracy with respect to objective outcomes in a dialogue system
EACL '12 Proceedings of the 13th Conference of the European Chapter of the Association for Computational Linguistics
Hi-index | 0.00 |
We describe the Why2-Atlas intelligent tutoring system for qualitative physics that interacts with students via natural language dialogue. We focus on the issue of analyzing and responding to multi-sentential explanations. We explore an approach that combines a statistical classifier, multiple semantic parsers and a formal reasoner for achieving a deeper understanding of these explanations in order to provide appropriate feedback on them.