Follow
Bernhard Schroeder
Bernhard Schroeder
Professor für germanistische Linguistik, Universität Duisburg-Essen
Verified email at uni-due.de - Homepage
Title
Cited by
Cited by
Year
The naproche project controlled natural language proof checking of mathematical texts
M Cramer, B Fisseni, P Koepke, D Kühlwein, B Schröder, J Veldman
International Workshop on Controlled Natural Language, 170-186, 2009
792009
Chancen und Perspektiven computergestützter Lexikographie
B Schröder, A Storrer
De Gruyter, 2001
292001
Parsing and disambiguation of symbolic mathematics in the Naproche system
M Cramer, P Koepke, B Schröder
Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th …, 2011
272011
Das internet als medium für die Wörterbuchbenutzungsforschung
L Lemnitzer, I Lemberg, B Schröder, A Storrer
Chancen und Perspektiven computergestützter Lexikographie: Hypertext …, 2001
212001
Verfahren und Techniken in der computergestützten Lexikographie
G Büchel, B Schröder
Chancen und Perspektiven computergestützter Lexikographie. Hypertext …, 2001
172001
Premise selection in the Naproche system
M Cramer, P Koepke, D Kühlwein, B Schröder
Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010
162010
Effects of exhaustivity and uncertainty on audiovisual focus production.
C Wollermann, B Schröder
AVSP, 145-150, 2009
112009
Updates with eigentlich
HC Schmitz, B Schröder
Sprache und Datenverarbeitung 28 (1), 87-96, 2004
102004
Disfluencies and uncertainty perception-evidence from a human-machine scenario.
C Wollermann, E Lasarcyk, U Schade, B Schröder
DiSS, 73-76, 2013
92013
Certainty, context and exhaustivity of answers
C Wollermann, B Schröder
Speech and Face to Face communication, Grenoble, France, 2008
92008
Does uncertainty effect the case of exhaustive interpretation?
C Wollermann, B Schröder
ExLing, 233-236, 2008
92008
On the role of disfluent speech for uncertainty in articulatory speech synthesis
C Bellinghausen, T Fangmeier, B Schröder, J Keller, S Drechsel, ...
Budapest, 2019
82019
FnhdC/HTML und FnhdC/S
B Fisseni, HC Schmitz, B Schröder
Sprache und Datenverarbeitung 31 (1-2), 67-69, 2007
82007
How to frame understanding in mathematics: A case study using extremal proofs
M Carl, M Cramer, B Fisseni, D Sarikaya, B Schröder
Axiomathes 31 (5), 649-676, 2021
72021
How to frame a mathematician: Modelling the cognitive background of proofs
B Fisseni, D Sarikaya, M Schmitt, B Schröder
Reflections on the Foundations of Mathematics: Univalent Foundations, Set …, 2019
72019
Presupposition Projection and Accommodation in Mathematical Texts.
M Cramer, D Kühlwein, B Schröder
KONVENS, 29-36, 2010
72010
Accentuation, Uncertainty and Exhaustivity-Towards a Model of Pragmatic Focus Interpretation
C Wollermann, U Schade, B Fisseni, B Schröder
Institut für Deutsche Sprache, Bibliothek, 2018
62018
On the modelling of prosodic cues in synthetic speech–what are the effects on perceived uncertainty and naturalness?
E Lasarcyk, C Wollermann, B Schröder, U Schade
Natural Language Processing and Cognitive Science, 117, 2013
62013
Natürlich formal
P Koepke, B Schröder
na, 2003
62003
Computerlinguistik: was geht, was kommt?: Festschrift für Winfried Lenders
G Willée, B Schröder
Gardez!-Verlag, 2002
62002
The system can't perform the operation now. Try again later.
Articles 1–20