Refine
Year of publication
Document Type
- Part of a Book (6)
- Conference Proceeding (4)
- Article (2)
- Working Paper (1)
Has Fulltext
- yes (13)
Keywords
- Deutsch (6)
- Computerlinguistik (4)
- Automatisches Beweisverfahren (3)
- Natürliche Sprache (3)
- Texttechnologie (3)
- Afrikaans (2)
- Formale Semantik (2)
- Korpus <Linguistik> (2)
- Pragmatik (2)
- Sprachkontakt (2)
Publicationstate
- Zweitveröffentlichung (7)
- Veröffentlichungsversion (5)
- Postprint (1)
Reviewstate
- (Verlags)-Lektorat (13) (remove)
Publisher
- Lang (2)
- Waxmann (2)
- Institut für Kommunikationsforschung und Phonetik (1)
- Institute for Logic, Language and Computation (1)
- Leibniz-Institut für Deutsche Sprache (IDS) (1)
- Narr (1)
- Springer (1)
- Stauffenburg (1)
- Universitätsverlag Rhein-Ruhr (1)
- Verein der Freunde und Förderer der Zeitschrift "Kritische Ausgabe" e.V. (1)
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.
Repairs for Reasoning
(2013)
We describe and experimentally investigate phenomena of modal enrichment, that is, phenomena in which a recipient non-literally interprets an utterance by creating and applying a modal operator. We give competing explanations for these phenomena - namely an explanation according to which modal enrichment is a repair procedure for making the utterance match a script of information processing vs. an explanation according to which modal enrichment is triggered by rhetorical structure.
Dieser Beitrag beschreibt, welche Schritte nötig sind, um die Daten des Archivs der Grafen v. Platen (AGP) für Forschungsdateninfrastrukturen (FDI) zugänglich zu machen: die Daten konvertieren, die Metadaten extrahieren, Daten und Metadaten indizieren sowie die Datenmodelle für Daten und Metadaten so ergänzen, dass sie die Bestände des Archivs sinnvoll erfassen. Zugleich wird begründet, weshalb man überhaupt solchen Aufwand treiben sollte: nämlich, damit die Daten einem größeren Publikum zur Verfügung stehen und überdies mit Werkzeugen bearbeitet werden können, die in den Infrastrukturen zur Verfügung stehen, und damit eine weitere Verlinkung und Kombination mit externen Ressourcen erfolgen kann, sodass ein deutlicher Mehrwert entstehen kann.
Zwischen Perspektiven
(2019)