Multi-modal combinatory categorial grammar
EACL '03 Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics - Volume 1
Coupling CCG and hybrid logic dependency semantics
ACL '02 Proceedings of the 40th Annual Meeting on Association for Computational Linguistics
Lexical-semantic interpretation of language input in mathematical dialogs
TextMean '04 Proceedings of the 2nd Workshop on Text Meaning and Interpretation
Assertion application in theorem proving and proof planning
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Natural Language Engineering
Interpreting semi-formal utterances in dialogs about mathematical proofs
Data & Knowledge Engineering - Special issue: Application of natural language to information systems (NLDB04)
Fault-Tolerant Interpretation of Mathematical Formulas in Context
Proceedings of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology
Generating Responses to Formally Flawed Problem-Solving Statements
Proceedings of the 2007 conference on Artificial Intelligence in Education: Building Technology Rich Learning Contexts That Work
'Deep' grammatical relations for semantic interpretation
CrossParser '08 Coling 2008: Proceedings of the workshop on Cross-Framework and Cross-Domain Parser Evaluation
Lexical-semantic interpretation of language input in mathematical dialogs
TextMean '04 Proceedings of the 2nd Workshop on Text Meaning and Interpretation
Fault-tolerant context-based interpretation of mathematical formulas
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Natural language dialog with a tutor system for mathematical proofs
Proceedings of the 2005 joint Chinese-German conference on Cognitive systems
Interpretation of implicit parallel structures. a case study with “vice-versa”
NLDB'05 Proceedings of the 10th international conference on Natural Language Processing and Information Systems
Handling errors in mathematical formulas
ITS'06 Proceedings of the 8th international conference on Intelligent Tutoring Systems
The SALAH project: segmentation and linguistic analysis of ḥadīṯ arabic texts
AIRS'11 Proceedings of the 7th Asia conference on Information Retrieval Technology
HCI'13 Proceedings of the 15th international conference on Human Interface and the Management of Information: information and interaction for learning, culture, collaboration and business - Volume Part III
Hi-index | 0.00 |
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded (semi-)formal symbolic mathematical expressions. We present language phenomena observed in a corpus of dialogs with a simulated tutorial system for proving theorems as evidence for the need for deep syntactic and semantic analysis. We propose an approach to input understanding in this setting. Our goal is a uniform analysis of inputs of different degree of verbalization: ranging from symbolic alone to fully worded mathematical expressions.