Konferenzbeitrag
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
Mathematische Texte sind natürlichsprachlich (ggf. mit formelsprachliche Anteilen), nicht formalsprachlich. ProofML ist ein Dateiformat, das erlaubt, sie so zu annotieren, daß der natürlichsprachlichen eine logische Struktur zugeordnet wird.
- Sprache
-
Deutsch
- Thema
-
Automatisches Beweisverfahren
Computerlinguistik
Natürliche Sprache
Texttechnologie
XML
Sprache
- Ereignis
-
Geistige Schöpfung
- (wer)
-
Fisseni, Bernhard
- Ereignis
-
Veröffentlichung
- (wer)
-
Frankfurt am Main [u.a.] : Lang
- (wann)
-
2018-11-21
- URN
-
urn:nbn:de:bsz:mh39-82509
- Letzte Aktualisierung
-
06.03.2025, 09:00 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Leibniz-Institut für Deutsche Sprache - Bibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Leibniz-Institut für Deutsche Sprache - Bibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzbeitrag
Beteiligte
- Fisseni, Bernhard
- Frankfurt am Main [u.a.] : Lang
Entstanden
- 2018-11-21
Ähnliche Objekte (12)
Something Empirical about Focus
Which Dimensions of Narratives are Relevant for Human Judgments of Story Equivalence?
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
CLARIN Web Services for TEI-annotated Transcripts of Spoken Language
A Paradigm for Eliciting Story Variation
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
Signposts for CLARIN
Signposts for CLARIN
Objectivity and Reproducibility of Proppian Narrative Annotations
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
Story Comparisons: Evidence from Film Reviews
Accentuation, Uncertainty and Exhaustivity - Towards a Model of Pragmatic Focus Interpretation
Something Empirical about Focus
Which Dimensions of Narratives are Relevant for Human Judgments of Story Equivalence?
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
CLARIN Web Services for TEI-annotated Transcripts of Spoken Language
A Paradigm for Eliciting Story Variation
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
Signposts for CLARIN
Signposts for CLARIN
Objectivity and Reproducibility of Proppian Narrative Annotations
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
Story Comparisons: Evidence from Film Reviews
Accentuation, Uncertainty and Exhaustivity - Towards a Model of Pragmatic Focus Interpretation
Something Empirical about Focus
Which Dimensions of Narratives are Relevant for Human Judgments of Story Equivalence?
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
CLARIN Web Services for TEI-annotated Transcripts of Spoken Language
A Paradigm for Eliciting Story Variation
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
Signposts for CLARIN
Signposts for CLARIN
Objectivity and Reproducibility of Proppian Narrative Annotations
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
Story Comparisons: Evidence from Film Reviews