An annotated corpus of tutorial dialogs on mathematical theorem proving

Proceedings of the 4th International Conference on Language Resources and Evaluation, LREC 2004

Volumn , Issue , 2004, Pages 1007-1010

  Wolska, Magdalena ^a   Vo, Bao Quoc ^a   Tsovaltzi, Dimitra ^a   Kruijff Korbayová, Ivana ^a   Karagjosova, Elena ^a   Horacek, Helmut ^a   Fiedler, Armin ^a   Benzmüller, Christoph ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

LINGUISTICS; NATURAL LANGUAGE PROCESSING SYSTEMS; SEMANTICS; TEACHING; THEOREM PROVING;

ACTIVE LEARNING; DOMAIN SPECIFIC; EMPIRICAL FINDINGS; INTELLIGENT TUTORING; MATHEMATICAL PROBLEM SOLVING; NAIVE SET THEORY; NATURAL LANGUAGES; SEMANTIC RELATIONS;

PROBLEM SOLVING;

EID: 77952731806     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. Allen, J. and Core, M. 1997. Draft of DAMSL: Dialogue act markup in several layers. DRI: Discourse Research Initiative, University of Pennsylvania, PA.
2. Baldridge, J.M. and Kruijff G-J.M. 2002. Coupling CCG with hybrid logic dependency semantics. In Proc. of the 40th Meeting of the ACL, Philadelphia, PA.
3. Baldridge, J.M. 2002. Lexically Specified Derivational Control in Combinatory Categorial Grammar. Ph.D. thesis, Institute for Communicating and Collaborative Systems, School of Informatics, University of Edinburgh, Edinburgh.
4. Benzmüller, Ch., Fiedler, A., Gabsdil, M., Horacek, H., Kruijff-Korbayová, I., Pinkal, M, Siekmann, J., Tsovaltzi, D., Vo, B.Q., andWolska, M. 2003a. Tutorial dialogs on mathematical proofs. In Proc. of the IJCAI Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, Acapulco.
5. Benzmüller, Ch., Fiedler, A., Gabsdil, M., Horacek, H., Kruijff-Korbayová, I., Pinkal, M, Siekmann, J., Tsovaltzi, D., Vo, B.Q., and Wolska, M. 2003b. A Wizard-of-Oz experiment for tutorial dialogues in mathematics. In Proc. of AIED2003, vol. 8: Advanced Technologies for Mathematics Education, Sydney.
6. Core, M.G. and Allen, J.F. 1993. Coding dialogues with DAMSL annotation scheme. In AAAI Fall Symposium on Communicative Action in Humans and Machines, Boston, MA.
7. Fiedler, A. and Gabsdil, M. 2002. Supporting pogressive refinement of Wizard-of-Oz experiments. In Proc. of the ITS Workshop on Empirical Methods for Tutorial Dialogue Systems, San Sebastián.
8. Fiedler, A. and Tsovaltzi, D. 2003. An approach to automating hinting in an intelligent tutorial system. In Proc. of the IJCAI Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, Acapulco.
9. Hajicová, E., Panevová, J., and Sgall, P. 2000. A manual for tectogrammatical tagging of the Prague Dependency Treebank. TR-2000-09, Charles University, Prague.
10. Kruijff, G-J.M. 2001. A Categorial-Modal Logical Architecture of Informativity: Dependency Grammar Logic & Information Structure. Ph.D. thesis, U FAL, Faculty of Mathematics and Physics, Charles University, Prague.
11. Moore, J. 1993. What makes human explanations effective? In Proc. of the 15th Annual Conference of the Cognitive Science Society, Hillsdale, NJ.
12. Müller, C. and Strube, M. 2003. Multi-level annotation in mmax. In Proc. of the 4th SIGdial Workshop on Discourse and Dialogue, Sapporo.
13. Sgall, P., Hajicová, E., and Panevová, J. 1986. The meaning of the sentence in its semantic and pragmatic aspects. Reidel Publishing Company, Dordrecht.
14. Siekmann, J., Benzmüller, C., Brezhnev, V., Cheikhrouhou, L., Fiedler, A., Franke, A., Horacek, H., Kohlhase, M., Meier, A., Melis, E., Moschner, M., Normann, I., Pollet, M., Sorge, V., Ullrich, C., Wirth, C-P. and Zimmer, J. 2002. Proof development with n MEGA. In Voronkov, A. (ed.), Automated Deduction. CADE-18, number 2392 in LNAI, Springer Verlag.
15. Traum, D. and Larsson, S. 2003. The information state approach to dialogue management. In van Kuppevelt, J. and Smith, R., (eds.), Current and New Directions in Discourse and Dialogue. Kluwer.
16. Tsovaltzi, D. and Fiedler, A. 2003. An approach to facilitating reflection in a mathematics tutoring system. In Proc. of AIED Workshop on Learner Modelling for Reflection, Sydney.
17. Tsovaltzi, D. and Karagjosova, E. 2004. A dialogue move taxonomy for tutorial dialogues. In Proc. of 5th SIGdial Workshop on Discourse and Dialogue, Boston. To appear.