TY  - CHAP
U1  - Konferenzveröffentlichung
A1  - Veldman, Jip
A1  - Fisseni, Bernhard
A1  - Schröder, Bernhard
A1  - Koepke, Peter
ED  - Chiarcos, Christian
ED  - Eckart de Castilho, Richard
ED  - Stede, Manfred
T1  - From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
T2  - Von der Form zur Bedeutung: Texte automatisch verarbeiten. From Form to Meaning: Processing Texts Automatically. Proceedings of the Biennial GSCL Conference 2009
N2  - 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.
KW  - Computerlinguistik
KW  - Automatisches Beweisverfahren
KW  - Formale Semantik
KW  - Natürliche Sprache
KW  - Texttechnologie
KW  - Discourse Representation Theory
KW  - controlled natural language
Y1  - 2009
U6  - https://nbn-resolving.org/urn:nbn:de:bsz:mh39-82578
UN  - https://nbn-resolving.org/urn:nbn:de:bsz:mh39-82578
SN  - 978-3-8233-6511-2
SB  - 978-3-8233-6511-2
SP  - 137
EP  - 145
PB  - Narr
CY  - Tübingen
ER  -