Interpreting semi-formal utterances in dialogs about mathematical proofs

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

Volumn 3136, Issue , 2004, Pages 26-38

  Horacek, Helmut ^a   Wolska, Magdalena ^b  

^a SAARLAND UNIVERSITY   (Germany)

^b Fachrichtung Computerlinguistik   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

ANALYSIS METHOD; ANALYSIS TECHNIQUES; FORMAL EXPRESSIONS; LEXICAL SEMANTICS; MATHEMATICAL FORMULAS; MATHEMATICAL PROOF; NATURAL LANGUAGE EXPRESSIONS; NATURAL LANGUAGE TEXT;

COMPUTATIONAL LINGUISTICS;

EID: 35048879764     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27779-8_3     Document Type: Article

References (18)

1. V. Aleven and K. Koedinger. The Need for Tutorial Dialog to Support Self-Explanation. In Papers from the 2000 AAAI Fall Symposium on Building Dialogue Systems for Tutorial Applications, pages 65-73, AAAI Press, 2000.
2. J. Baldridge. Lexically Specified Derivational Control in Combinatory Categorial Grammar. Ph.D. Thesis, University of Edinburgh, Edinburgh, 2002.
3. J. Baldridge and G.-J. Kruijff. Coupling CCG with Hybrid Logic Dependency Semantics. In Proc. of ACL, pages 319-326, Philadelphia PA, 2002.
4. J. Baldridge and G.-J. Kruijff. Multi-Modal Combinatory Categorial Grammar. In Proc. of EACL'03, pages 211-218, Budapest, 2003.
5. 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. In IJCAI Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, pages 12-22, 2003.
6. 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. In AIED2003 - Supplementary Proceedings of the 11th International Conference on Artificial Intelligence in Education, pages 471-481, Sidney, Australia, 2003.
7. A. Fiedler and M. Gabsdil. Supporting Progressive Refinement of Wizard-of-Oz Experiments. In Proc. of the ITS 2002 - Workshop on Empirical Methods for Tutorial Dialogue, pages 62-69, San Sebastian, Spain, 2002.
8. A. Fiedler and D. Tsovaltzi. Automating Hinting in Mathematical Tutorial Dialogue. In Proc. of the EACL-03 Workshop on Dialogue Systems: Interaction, Adaptation and Styles of Management, pages 45-52, Budapest, 2003.
9. E. Hajičová, J. Panevová, and P. Sgall. A Manual for Tectogrammatical Tagging of the Prague Dependency Treebank. TR-2000-09, Charles University, Prague, 2000.
10. H. Horacek, A. Fiedler, A. Franke, M. Moschner, M. Pollet, and V. Sorge. Representation of Mathematical Objects for Inferencing and for Presentation Purposes. In Proc. of EMCSR-2004, pages 683-688, Vienna, 2004.
11. M. Kohlhase and A. Franke. MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. Journal of Symbolic Computation, 32(4):365-402, 2000.
12. G.-J. Kruijff. A Categorial-Modal Logical Architecture of Informativity: Dependency Grammar Logic & Information Structure. Ph.d. Dissertation, Charles University, Prague, 2001.
13. E. Melis et al. ACTIVEMATH: A Generic and Adaptive Web-Based Learning Environment. Artifical Intelligence in Education, 12(4):385-407, 2001.
14. J. Moore. What Makes Human Explanations Effective? In Proc. of the Fifteenth Annual Conference of the Cognitive Science Society, Hillsdale, NJ. Earlbaum, 1993.
15. SFB 378 web-site: http://www.coli.uni-sb.de/sfb378/.
16. P. Sgall, E. Hajičová, and J. Panevová. The Meaning of the Sentence in its Semantic and Pragmatic Aspects. Reidel Publishing Company, Dordrecht, 1986.
17. J. Siekmann et al. Proof Development with ΩMEGA. In Proceedings of the 18th Conference on Automated Deduction, pages 144-149, Copenhagen, Denmark, 2002.
18. TRINDI project: http://www.ling.gu.se/research/projects/trindi/.