Building a dependency-based grammar for parsing informal mathematical discourse

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3206, Issue , 2004, Pages 645-652

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

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GRAMMARS; EMBEDDED SYSTEMS; FORMAL LANGUAGES; INFORMATION RETRIEVAL SYSTEMS; NATURAL LANGUAGE PROCESSING SYSTEMS; SEMANTICS; SET THEORY; SYNTACTICS;

DEPENDENCY-BASED GRAMMAR; FORMAL EXPRESSIONS; PARSING; SYNTACTIC VARIATION; MATHEMATICAL EXPRESSIONS; NAIVE SET THEORY; NATURAL LANGUAGES; SEMANTIC REPRESENTATION;

SPEECH ANALYSIS; FORMAL LANGUAGES;

EID: 22944490225     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30120-2_81     Document Type: Conference Paper

References (20)

1. Ba. J.M. Baldridge. 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.
2. th Annual Meeting of the Association for Computational Linguistics (ACL), Philadelphia, PA. pp. 319-326.
3. th Annual Meeting of the EACL, Budapest, pp. 211-218.
4. Ba. J. Baur. 1999. Syntax und Semantik mathematischer Texte. Diplomarbeit, Fachrichtung Computerlinguistik, Universität des Saarlandes, Saarbrücken.
5. BEtAl2. C. Benzmüller et al. 2003. A Wizard-of-Oz experiment for tutorial dialogues in mathematics. In Proceedings of the AIED Workshop on Advanced Technologies for Mathematics Education, Sydney, Australia.
6. th AIED Conference, San Antonio, pp. 210-221.
7. GWWHP. 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. pp. 129-147.
8. HPS. 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.
9. th International Conf. on Application of Natural Language to Information Systems (NLDB '04), Salford, Manchester, Springer. To appear.
10. KF. M. Kohlhase and A. Franke. 2000. MBase: Representing knowledge and context for the integration of mathematical software systems. J. of Symbolic Computation, 32(4):365-402.
11. th International Conference on Text, Speech and Dialogue (TSD 2001), Springer. Železná Ruda. pp. 31-38.
12. Kr. G-J. M. Kruijff. 2001. A Categorial-Modal Logical Architecture of Informativity: Dependency Grammar Logic & Information Structure. Ph.D. thesis, Charles University, Prague.
13. th Annual Conference of the Cognitive Science Society, Hillsdale, NJ. pp. 131-136.
14. SHP. P. Sgall, E. Hajičová, and J. Panevová. 1986. The meaning of the sentence in its semantic and pragmatic aspects. Reidel Publishing Company, Dordrecht.
15. th International Joint Conference on Artificial Intelligence, Acapulco.
16. nd Annual Meeting of ACL, Barcelona, Spain. To appear.
17. WKKb. M. Wolska and I. Kruijff-Korbayová. 2004. Lexical-Semantic Interpretation of Language Input in Mathematical Dialogs. In Proc. of the ACL Workshop on Text Meaning and Interpretation, Barcelona, Spain. To appear.
18. th International Conference on Language Resources and Evaluation., Lisbon, pp. 1007-1010.
19. Zi1. C. Zinn. 1999. Understanding mathematical discourse. In Proc. of Amstelogue '99.
20. Zi2. C. Zinn. 2003. Computational framework for understanding mathematical discourse. Logic Journal of the IGPL, 11(4):457-484.