MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Proceedings of the Second International Conference on Mathematical Knowledge Management
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
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
Analysis of mixed natural and symbolic language input in mathematical dialogs
ACL '04 Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics
Automatic detection of arguments in legal texts
Proceedings of the 11th international conference on Artificial intelligence and law
Argumentation mining: the detection, classification and structure of arguments in text
Proceedings of the 12th International Conference on Artificial Intelligence and Law
An agent-based architecture for dialogue systems
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
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
| Hi-index | 0.00 |
Dialogs in formal domains, such as mathematics, are characterized by a mixture of telegraphic natural language text and embedded formal expressions. Analysis methods for this kind of setting are rare and require empirical justification due to a notorious lack of data, as opposed to the richness of presentations found in genre-specific textbooks. In this paper, we focus on interpretation techniques for major phenomena observed in a recently collected corpus of tutorial dialogs on proving mathematical theorems. We combine analysis techniques for mathematical formulas and for natural language expressions, supported by knowledge about domain-relevant lexical semantics and by representations relating informal vocabulary to precise domain terms. Interpreting these expressions in a competent manner is not only important for the use in tutorial systems, but also for supporting domain experts through improving the accessibility and usability of formal systems.