6 |
An annotated corpus of tutorial dialogs on mathematical theorem proving
|
|
|
|
In: 4th International Conference on Language Resources and Evaluation (LREC 2004), Lisbon, Portugal, 26-28 May 2004 (2004)
|
|
BASE
|
|
Show details
|
|
7 |
Language phenomena in tutorial dialogs on mathematical proofs
|
|
|
|
In: Proceedings of the 7th Workshop on the Semantics and Pragmatics of Dialogue (DiaBruck), Saarbruecken, Germany, 04-06 September 2003 (2003)
|
|
Abstract:
Dialogs in formal domains, such as mathematics, are characterized by a mixture of telegraphic natural language text and embedded formal expressions. Due to the lack of empirical data for such environments, we have collected a corpus of dialogs with a simulated tutoring system for teaching proofs in naive set theory. The analysis of this corpus enabled us to identify genre-specific variants of linguistic phenomena which impose specific requirements on natural language dialog management.
|
|
URL: http://hdl.handle.net/1959.3/81314 http://www.coli.uni-saarland.de/conf/diabruck/
|
|
BASE
|
|
Hide details
|
|
|
|