Refine
Document Type
- Conference Proceeding (2)
- Article (1)
- Part of a Book (1)
Has Fulltext
- yes (4)
Is part of the Bibliography
- no (4)
Keywords
- Computerlinguistik (2)
- Automatisches Beweisverfahren (1)
- Deutsch (1)
- Discourse Representation Theory (1)
- Empirische Linguistik (1)
- Fokus <Linguistik> (1)
- Formale Semantik (1)
- Frühneuhochdeutsch (1)
- HTML (1)
- Korpus <Linguistik> (1)
Publicationstate
- Zweitveröffentlichung (4) (remove)
Reviewstate
- (Verlags)-Lektorat (2)
- Peer-Review (2)
Publisher
- Narr (1)
- Stauffenburg (1)
- University of Illinois (1)
- Universitätsverlag Rhein-Ruhr OHG (1)
FnhdC/HTML und FnhdC/S
(2007)
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
(2009)
We present an extension to Discourse Representation Theory that can be used to analyze mathematical texts written in the commonly used semi-formal language of mathematics (or at least a subset of it). Moreover, we describe an algorithm that can be used to check the resulting Proof Representation Structures for their logical validity and adequacy as a proof.
Accentuation, Uncertainty and Exhaustivity - Towards a Model of Pragmatic Focus Interpretation
(2010)
This paper presents a model of pragmatic focus interpretation that is assumed to be part of a complete language comprehension model and that is inspired by Levelt's language processing model. The model is derived from our empirical data on the role of accentuation, prosodic indicators of uncertainty and context for pragmatic focus interpretation. In its present state, the model is restricted to these data, but nevertheless generates predictions.