1 |
DR 4.4: Natural Multimodal Interaction Final Pro- totype ...
|
|
|
|
BASE
|
|
Show details
|
|
2 |
DR 4.4: Natural Multimodal Interaction Final Pro- totype ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
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)
|
|
Abstract:
Our goal is to develop a flexible dialog system for tutoring mathematical problem solving. Empirical findings in the area of intelligent tutoring show that flexible natural language dialog supports active learning. Therefore, we focus on the development of solutions allowing flexible dialog. However, little is known about the use of natural language in dialog settings in formal domains, such as mathematics, due to the lack of empirical data. We designed and performed an expierment with simulated tutorial dialog system for teaching proofs in naive set theory. To investigate the correlation between (i) domain-specific content and its linguistic realization, and (ii) the use, distribution, and linguistic realization of dialog moves, we are annotating the corpus with (i) dependency-based semantic relations that build up the linguistic meaning of the utterances and (ii) with dialog moves.
|
|
URL: http://hdl.handle.net/1959.3/81319 http://www.lrec-conf.org/lrec2004/
|
|
BASE
|
|
Hide details
|
|
11 |
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)
|
|
BASE
|
|
Show details
|
|
16 |
The MULI Project: Annotation and Analysis of Information Structure in German and English [Online resource]
|
|
|
|
IDS-Repository
|
|
Show details
|
|
17 |
Multi-dimensional annotation of linguistic corpora for investigating information structure [Online resource]
|
|
|
|
IDS-Repository
|
|
Show details
|
|
|
|