Handling errors in mathematical formulas

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4053 LNCS, Issue , 2006, Pages 339-348

  Horacek, Helmut ^a   Wolska, Magdalena ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ERROR DETECTION; FAULT TOLERANT COMPUTER SYSTEMS; MATHEMATICAL MODELS; STUDENTS; TEACHING;

ERROR INTERPRETATION; FORMULA INTERPRETERS; MATHEMATICAL FORMULAS; TUTORIAL SYSTEMS;

LEARNING SYSTEMS;

EID: 33746339205     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11774303_34     Document Type: Conference Paper

References (15)

1. C. Benzmüller, A. Fiedler, M. Gabsdil, H. Horacek, I. Kruijff-Korbayová, M. Pinkal, J. Siekmann, D. Tsovaltzi, B. Vo, and M. Wolska. Language Phenomena in Tutorial Dialogs on Mathematical Proofs. Proc. of the 7th Workshop on the semantics and pragmatics of dialogue (DiaBruck), pp. 165-166, Saarbrücken, Germany, 2003.
2. C. Benzmüller, A. Fiedler, M. Gabsdil, H. Horacek, I. Kruijff-Korbayová, M. Pinkal, J. Siekmann, D. Tsovaltzi, B. Vo, and M. Wolska. Tutorial Dialogs on Mathematical Proofs. IJCAI Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, pp. 12-22, 2003.
3. C. Benzmüller and Q.B. Vo. Mathematical Domain Reasoning Tasks in Tutorial Natural Language Dialog on Proofs. Proc. of the 20th National Conference on Artificial Intelligence (AAAI-05), pp. 516-522, Pittsburgh, PA, 2005.
4. C. Benzmüller, A. Fiedler, M. Gabsdil, H. Horacek, I. Kruijff-Korbayová, M. Pinkal, J. Siekmann, D. Tsovaltzi, B. Vo, and M. Wolska. A Wizard-of-Oz Experiment for Tutorial Dialogues in Mathematics. Suppl. Proc. of the 11th International Conference on Artificial Intelligence in Education, pp. 471-481, Sydney, Australia, 2003.
5. N. Heffernan, E. Croteau and K. Koedinger. Why Are Algebra Word Problems Difficult? International Conference on Intelligent Tutorial Systems (ITS-04), pp. 240-250, Springer, LNCS 3220, 2004.
6. H. Horacek and M. Wolska. Interpreting Semi-Formal Utterances in Dialogs about Mathematical Proofs. Natural Language Processing and Information Systems (NLDB-04), pp. 26-38, Springer, LNCS 3136, 2004.
7. H. Horacek and M. Wolska. Fault-Tolerant Context-Based Interpretation of Mathematical Formulas. Proc. of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05), poster, pp. 1688-1691, Edinburgh, Scotland, 2005.
8. N. Makatchev, P. Jordan and K. VanLehn. Modeling Student's Reasoning about Qualitative Physics: Heuristics for Abductive Proof Search. International Conference on Intelligent Tutorial Systems (ITS-04), Springer, LNCS, 3220, pp. 699-709, 2004.
9. O. Popescu, K.R. Koedinger. Towards understanding geometry explanations. Building Dialogue Systems for Tutorial Applications, Papers from the 2000 AAAI Fall Symposium. Menlo Park, California: AAAI Press, pp. 80-86, 2000.
10. J. Siekmann, C. Benzmüller, V. Brezhnev, L. Cheikhrouhou, A. Fiedler, A. Franke, H. Horacek, M. Kohlhase, A. Meier, E. Melis, M. Moschner, I. Normann, M. Pollet, V. Sorge, C. Ullrich, C-P Wirth, J. Zimmer. Proof Development with ωMEGA. Proc. of the 18th Conference on Automated Deduction, pp. 144-149, Copenhagen, Denmark, 2002.
11. D. Tsovaltzi, H. Horacek and A. Fiedler. Building Hint Specifications in an NL Tutorial System for Mathematics. Proc. of the 17th Florida Artificial Intelligence Research Society Conference (FLAIRS-04), pp. 929-934, Menlo Park, CA, AAAI Press, 2004.
12. B. Q. Vo, C. Benzmüller, and S. Autexier. Assertion Application in Theorem Proving and Proof Planning. Proc. of International Joint Conference on Artificial Intelligence (IJCAI-03), pp. 1343-1344, Acapulco, Mexico, 2003.
13. M. Wolska and I. Kruijff-Korbayová. Analysis of Mixed Natural and Symbolic Language Input in Mathematical Dialogs Proc. of the 42nd Annual Meeting of the Association for Computational Linguistics (ACL-04), pp. 25-32, Barcelona, Spain. 2004.
14. M. Wolska, B. Q. Vo, D. Tsovaltzi, I. Kruijff-Korbayová, E. Karagjosova, H. Horacek, M. Gabsdil, A. Fiedler, and C. Benzmüller. An annotated corpus of tutorial dialogs on mathematical theorem proving. Proc. of 4th International Conference on Language Resources and Evaluation., pp. 1007-1010, Lisbon. 2004.
15. C. Zinn, J.D. Moore, M.G. Core, S. Verges, K. Porayska-Pomsta. The BE&E Tutorial Learning Environment (BEETLE). Proc. of the 7th Workshop on the Semantics and Pragmatics of Dialogue (DiaBruck), pp. 209-210, Saarbrücken, Germany, 2003.