Publications/Manuscripts of Malte Gabsdil
2004
[5] An annotated corpus of tutorial dialogs on mathematical theorem proving (Magdalena Wolska, Bao Quoc Vo, Dimitra Tsovaltzi, Ivana Kruijff-Korbayova, Elena Karagjosova, Helmut Horacek, Malte Gabsdil, Armin Fiedler, Christoph Benzmüller), In Proceedings of International Conference on Language Resources and Evaluation (LREC 2004), ELDA, 2004. [bibtex] [pdf]
2003
[4] Towards a Principled Approach to Tutoring Mathematical Proofs (Christoph Benzmüller, Armin Fiedler, Malte Gabsdil, Helmut Horacek, Ivana Kruijff-Korbayova, Dimitra Tsovaltzi, Bao Quoc Vo, Magdalena Wolska), In Proceedings of the Workshop on Expressive Media and Intelligent Tools for Learning, German Conference on AI (KI 2003), 2003. [bibtex] [pdf]
[3] Language Phenomena in Tutorial Dialogs on Mathematical Proofs (Christoph Benzmüller, Armin Fiedler, Malte Gabsdil, Helmut Horacek, Ivana Kruijff-Korbayova, Dimitra Tsovaltzi, Bao Quoc Vo, Magdalena Wolska), In Proceedings of the 7th Workshop on the semantics and pragmatics of dialogue (DiaBruck), 2003. [bibtex] [pdf]
[2] A Wizard of Oz Experiment for Tutorial Dialogues in Mathematics (Christoph Benzmüller, Armin Fiedler, Malte Gabsdil, Helmut Horacek, Ivana Kruijff-Korbayova, Manfred Pinkal, Jörg Siekmann, Dimitra Tsovaltzi, Bao Quoc Vo, Magdalena Wolska), In Proceedings of AI in Education (AIED 2003) Workshop on Advanced Technologies for Mathematics Education, 2003. [bibtex] [pdf]
[1] Tutorial Dialogs on Mathematical Proofs (Christoph Benzmüller, Armin Fiedler, Malte Gabsdil, Helmut Horacek, Ivana Kruijff-Korbayova, Manfred Pinkal, Jörg Siekmann, Dimitra Tsovaltzi, Bao Quoc Vo, Magdalena Wolska), In Proceedings of IJCAI-03 Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, pp. 12-22, 2003. (slides) [bibtex] [pdf]
Powered by bibtexbrowser