Analysis of mixed natural and symbolic language input in mathematical dialogs

Proceedings of the Annual Meeting of the Association for Computational Linguistics

Volumn , Issue , 2004, Pages 25-32

  Wolska, Magdalena ^a   Kruijff Korbayová, Ivana ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS;

INPUT UNDERSTANDING; MATHEMATICAL EXPRESSIONS; NATURAL LANGUAGES; SEMANTIC ANALYSIS; SYMBOLIC LANGUAGES; SYNTACTIC ANALYSIS; TUTORIAL SYSTEM;

SEMANTICS;

EID: 22944478603     PISSN: 0736587X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. J. M. Baldridge and G.J. M. Kruijff. 2002. Coupling CCG with hybrid logic dependency semantics. In Proc. of the 40th Annual Meeting of the Association for Computational Linguistics (ACL), Philadelphia PA. pp. 319–326.
2. J. M. Baldridge and G.J. M. Kruijff. 2003. Multi-modal combinatory categorial grammar. In Proc. of the 10th Annual Meeting of the European Chapter of the Association for Computational Linguistics (EACL’03), Budapest, Hungary. pp. 211–218.
3. J. Baur. 1999. Syntax und Semantik mathematischer Texte. Diplomarbeit, Fachrichtung Computerlinguistik, Universität des Saarlandes, Saarbrücken, Germany.
4. C. Benzmüller, A. Fiedler, M. Gabsdil, H. Horacek, I. Kruijff-Korbayová, M. Pinkal, J. Siekmann, D. Tsovaltzi, B. Q. Vo, and M. Wolska. 2003a. Tutorial dialogs on mathematical proofs. In Proc. of IJCAI’03 Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, Acapulco, Mexico.
5. C. Benzmüller, A. Fiedler, M. Gabsdil, H. Horacek, I. Kruijff-Korbayová, M. Pinkal, J. Siekmann, D. Tsovaltzi, B. Q. Vo, and M. Wolska. 2003b. A Wizard-of-Oz experiment for tutorial dialogues in mathematics. In Proc. of the AIED’03 Workshop on Advanced Technologies for Mathematics Education, Sydney, Australia. pp. 471–481.
6. M. Glass. 2001. Processing language input in the CIRCSIMTutor intelligent tutoring system. In Proc. of the 10th AIED Conference, San Antonio, TX. pp. 210–221.
7. A. Graesser, P. Wiemer-Hastings, K. Wiemer-Hastings, D. Harter, and N. Person. 2000. Using latent semantic analysis to evaluate the contributions of students in autotutor. Interactive Learning Environments, 8:2. pp. 129–147.
8. E. Hajičová, J. Panevová, and P. Sgall. 2000. A manual for tectogrammatical tagging of the Prague Dependency Treebank. TR-2000-09, Charles University, Prague, Czech Republic.
9. H. Horacek and M. Wolska. 2004. Interpreting Semi-Formal Utterances in Dialogs about Mathematical Proofs. In Proc. of the 9th International Conference on Application of Natural Language to Information Systems (NLDB’04), Salford, Manchester, Springer. To appear.
10. G.J.M. Kruijff and I. Kruijff-Korbayová. 2001. A hybrid logic formalization of information structure sensitive discourse interpretation. In Proc. of the 4th International Conference on Text, Speech and Dialogue (TSD’2001), Železná Ruda, Czech Republic. pp. 31–38.
11. G.J.M. Kruijff. 2001. A Categorial-Modal Logical Architecture of Informativity: Dependency Grammar Logic & Information Structure. Ph.D. Thesis, Institute of Formal and Applied Linguistics (ÚFAL), Faculty of Mathematics and Physics, Charles University, Prague, Czech Republic.
12. J. Moore. 1993. What makes human explanations effective? In Proc. of the 15th Annual Conference of the Cognitive Science Society, Hillsdale, NJ. pp. 131–136.
13. P. Sgall, E. Hajičová, and J. Panevová. 1986. The meaning of the sentence in its semantic and pragmatic aspects. Reidel Publishing Company, Dordrecht, The Netherlands.
14. Q.B. Vo, C. Benzmüller, and S. Autexier. 2003. Assertion Application in Theorem Proving and Proof Planning. In Proc. of the International Joint Conference on Artificial Intelligence (IJCAI). Acapulco, Mexico.
15. M. Wolska and I. Kruijff-Korbayová. 2004a. Building a dependency-based grammar for parsing informal mathematical discourse. In Proc. of the 7th International Conference on Text, Speech and Dialogue (TSD’04), Brno, Czech Republic, Springer. To appear.
16. M. Wolska and I. Kruijff-Korbayová. 2004b. Lexical-Semantic Interpretation of Language Input in Mathematical Dialogs. In Proc. of the ACL Workshop on Text Meaning and Interpretation, Barcelona, Spain. To appear.
17. M. Wolska, B. Q. Vo, D. Tsovaltzi, I. Kruijff-Korbayová, E. Karagjosova, H. Horacek, M. Gabsdil, A. Fiedler, C. Benzmüller, 2004. An annotated corpus of tutorial dialogs on mathematical theorem proving. In Proc. of 4th International Conference On Language Resources and Evaluation (LREC’04), Lisbon, Portugal. pp. 1007–1010.
18. C. Zinn. 2003. A Computational Framework for Understanding Mathematical Discourse. In Logic Journal of the IGPL, 11:4, pp. 457–484, Oxford University Press.