Bernhard Schröder's Publications

Hammerstein, Sabine; Schröder, Bernhard (1989): Beschreibung der Umlaut-Umsetzungsprozedur, in: Kolloquium zur Speicherung der Kant-Texte. Bonn.
Hammerstein, Sabine; Schröder, Bernhard (1990): Das CKGROSS-Programmsystem., in: LDV-Forum 7(1/2).
Schröder, Bernhard (1991): Automatische Erkennung und Extraktion von Informationskategorien aus den Worteinträgen des DUDEN-Universalwörterbuchs, in: Winfried Lenders. Studien zur maschinellen Lexikographie. Bonn.
Schröder, Bernhard (1992): REGULA - Computerunterstützte Rekonstruktion und Simulation in der historischen Phonologie, in: Wirtschaft und Sprache. Hrsg. Bernd Spillner. Frankfurt am Main etc.
Schröder, Bernhard (Gasteditor) (1993): Beiträge zum Workshop "Repräsentatives Korpus der deutschen Gegenwartssprache". Sprache und Datenverarbeitung, Bd. 17.
Schröder, Bernhard (1993a): Fragen der Repräsentativität linguistischer Korpora, in: Sprachtechnologie: Methoden, Werkzeuge, Perspektiven. Hrsg. Horst P. Pütz und Johann Haller. Hildesheim etc.
Schröder, Bernhard (1993b): Korpora als linguistische Belegsammlungen. SDv 17(1-2): 103-129.
Schröder, Bernhard; Brustkern, Jan (1994): An Extraction Tool to Convert Term Definition Forms into Ontological Definitions in the ALEP formalism, in: ET10/66 Terminology and Extra Linguistic Knowledge. Ed. by Bärbel Ripplinger, Jörg Schütz, George Talbot. Dublin.
Schröder, Bernhard (1996a): Zum Kompositionalitätsprinzip in der Semantik. in: Semantik, Lexikographie und Computeranwendungen. Hrsg. Nico Weber. Tübingen.
Schröder, Bernhard (1996b): Hypermedia in Lexikon und Grammatik. Deutsche Sprache 24(4).
Schröder, Bernhard; Ostermann-Heimig, Jens (1998): Kants Werke als Hypertext. in: Hypermedia für Lexikon und Grammatik. Hrsg. Angelika Storrer, Bettina Harriehausen. Tübingen, Narr: 233-246.
Schröder, Bernhard (1998): Unifikation höherer Ordnung und primäres Vorkommen von Termen. in: Computer, Linguistik und Phonetik zwischen Sprache und Sprechen. Hrsg. Bernhard Schröder, Winfried Lenders, Wolfgang Hess, Thomas Portele. Frankfurt, Lang: 273-284.
Schröder, Bernhard; Lenders, Winfried; Hess, Wolfgang; Portele, Thomas (Hrsg.) (1998): Computer, Linguistik und Phonetik zwischen Sprache und Sprechen. Frankfurt, Lang.
Schröder, Bernhard (1998): Pro-SGML: Ein Prolog- basiertes System zum Textretrieval. in: Linguistik und neue Medien. Hrsg. Gerhard Heyer, Christian Wolff. Wiesbaden, DUV: 205-216.
Schröder, Bernhard (1998): Zweimal zwei Ontologien für die Semantik. LDV-Forum 15(2): 58-74.
Schröder, Bernhard (1999): Zur wissenschaftstheoretischen Struktur von Grammatiktheorien. Dissertation, elektronisch publiziert. http://hss.ulb.uni-bonn.de:90/ulb_bonn/diss_online/phil_fak/1999/schroeder_bernhard
Hans-Christian Schmitz/ Bernhard Schröder (2000): Avoiding consequences. On the use of German eigentlich, contribution to the conference Discourse Particles, Modal and Focal Particles and all that Stuff, 8.-9.12.2000, Brüssel.
Lemberg, Ingrid; Schröder, Bernhard; Storrer, Angelika (Hrsg.) (2001): Chancen und Perspektiven computergestützter Lexikographie. Lexikographica Series Maior 107. Niemeyer, Tübingen.
Büchel, Gregor; Schröder, Bernhard (2001): Verfahren und Techniken in der computergestützten Lexikographie. in: Chancen und Perspektiven computergestützter Lexikographie. Hrsg. Lemberg, Ingrid; Schröder, Bernhard; Storrer, Angelika. Lexikographica Series Maior 107. Niemeyer, Tübingen: 7-28.
Schmitz, Hans-Christian; Schröder, Bernhard (2001): Representing ambiguous multiple focus constructions. Contribution to the International Conference on "Formal Pragmatics", Berlin, March 16-18, 2001. On-line proceedings http://www2.rz.hu-berlin.de/asg/blutner/conf/prelprog.htm#fullpaper
Schmitz, Hans-Christian; Schröder, Bernhard; Wagner, Petra (2001): Zur Akzentuierung semantischer und pragmatischer Fokusse, in: Wolfgang Hess/ Karlheinz Stöber (Hgg.), Elektronische Sprachverarbeitung, Dresden, 151-158. (Beitrag zur Konferenz Elektronische Sprachsignalverarbeitung (ESSV), 24.-26.9.2001, Bonn)
Schmitz, Hans-Christian; Schröder, Bernhard (2002): On focus and VP-deletion. in: Snippets 5 (http://www.ledonline.it/snippets/), 16-17.
Schmitz, Hans-Christian; Schröder, Bernhard (2002): On Focus and Quantifier Raising, IKP-Arbeitsbericht NF 01, Bonn.
Willée, Gerd; Schröder, Bernhard; Schmitz, Hans-Christian (Hrsg.) (2002): Computerlinguistik - Was geht, was kommt?, Computational Linguistics - Achievements and Perspectives. Gardez!-Verlag: St. Augustin.
Koepke, Peter; Schröder, Bernhard (2002): Natürlich formal. In: Computerlinguistik - Was geht, was kommt? Computational Linguistics - Achievements and Perspectives. Hrsg. Willée, Gerd; Schröder, Bernhard; Schmitz, Hans-Christian. Gardez!-Verlag: St. Augustin.
Schröder, Bernhard; Koepke, Peter (2003): ProofML - Eine Annotationssprache für natürliche Beweise. In: Sprachtechnologie für die multilinguale Kommunikation - Textproduktion, Recherche, übersetzung, Lokalisierung - Beiträge der GLDV-Frühjahrstagung 2003. Hrsg. Seewald-Heeg, Uta. (Sprachwissenschaft, Computerlinguistik, Neue Medien, Bd. 5) Gardez!-Verlag: St. Augustin. (Ebenfalls erschienen als LDV-Forum Bd. 18.)
Schröder, Bernhard (2003): Rezension zu: Gereon Müller: Incomplete Category Fronting. Dordrecht et al: Kluwer 1998. In: Germanistik 44.1/2.
Schröder, Bernhard; Schmitz, Hans-Christian (2003): Underspecified focus representation. In: Proceedings of the 14th Amsterdam Colloquium. Eds. Dekker, Paul; van Rooy, Robert. ILLC, Amsterdam.
Lemnitzer, Lothar; Schröder, Bernhard (2003): Computerlinguistik - neue Wege in der Lehre. In: SDV 27.1-2: 5-8.
Haas, Felicitas; Schröder, Bernhard; Hess, Wolfgang (2003): Als Pfadfinder die Sprachtechnologie erkunden - Das E-Learning-Modul "Gesprochene Sprache". In: SDV 27.1-2: 113-128.
Stöber, Karlheinz; Schröder, Bernhard; Hess, Wolfgang (2004): Vom Text zur gesprochenen Sprache. In: Texttechnologie - Perspektiven und Anwendung. Hrsg. Lobin, Henning; Lemnitzer, Lothar. Stauffenburg-Verlag: Tübingen, 295-325.
Schmitz, Hans-Christian; Schröder, Bernhard (2004): Updates with eigentlich. In: SDV 28.1: 87-96.
Schröder, Bernhard (2004): Rezension zu: Hagen Langer: Parsing-Experimente. Frankfurt a.M. et al: Lang 2001. In: Germanistik 45.1/2.
Schröder, Bernhard; Wichard, Philipp C. (2007): Modelling Semantic Change as Equilibrium Shift in a Signalling Game. In: Proceedings of the ESSLLI 2007 Workshop on Language, Games, and Evolution. Eds. Benz, Anton; Ebert, Christian; van Rooij, Robert. http://www.sfs.uni-tuebingen.de/~cebert/LGE/LGE_Proceedings.pdf
Wollermann, Charlotte; Schröder, Bernhard (2008): Does Uncertainty Effect the Case of Exhaustive Interpretation? In: Proceedings of ISCA Tutorial and Research Workshop on Experimental Linguistics, Athens, Greece, 233-236.
Veldman, Jip; Fisseni, Bernhard; Schröder, Bernhard; Koepke, Peter (2009): From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics. In: Von der Form zur Bedeutung: Texte automatisch verarbeiten. From Form to Meaning: Processing Texts Automatically Eds. Chiarcos, Christian; de Castilho, Richard Eckart; Stede, Manfred. Narr: Tübingen.
Müller, Thomas; Schröder, Bernhard; Stuhlmann-Laeisz, Rainer (Hrsg., 2009): Gottlob Frege: Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet. Band I und II. In moderne Formelnotation transkribiert und mit einem ausführlichen Sachregister versehen. mentis: Paderborn.
Cramer, Marcos; Fisseni, Bernhard; Koepke, Peter; Kühlwein, Daniel; Schröder, Bernhard; Veldman, Jip (2009): The Naproche Project – Controlled Natural Language Proof Checking of Mathematical Texts. In: Fuchs, Norbert E. (ed.): Controlled Natural Language Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers. Lecture Notes in Computer Science Volume 5972, Springer: Berlin, Heidelberg, New York: 170-186. DOI: 10.1007/978-3-642-14418-9
Cramer, Marcos; Koepke, Peter; Kühlwein, Daniel; Schröder,Bernhard (2009):, The Naproche System. In: Dixon, Lucas; Carette, Jacques: Calculemus 2009 Emerging Trends. http://www.calculemus.net/meetings/ontario09/trends-09.pdf
Wollermann, Charlotte; Schröder, Bernhard (2009): Effects of Exhaustivity and Uncertainty on Audiovisual Focus Production. In: Proceedings of International Conference on Auditory-Visual Speech Processing, Norwich, UK, 145-150.
Cramer, Marcos; Koepke, Peter; Kühlwein, Daniel; Schröder, Bernhard (2010): Premise Selection in the Naproche System. In: Giesl, Jürgen; Hähnle, Reiner (eds.) Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence), 434-440.
Cramer, Marcos; Kühlwein, Daniel; Schröder, Bernhard (2010): Presupposition Projection and Accommodation in Mathematical Texts In: Pinkal, M.; Rehbein, I.; Schulte im Walde, S.; Storrer, A. (Hrsg.): Semantic Approaches in Natural Language Processing. Proceedings of the Conference on Natural Language Processing 2010 (KONVENS 10). Saarbrücken: Universitätsverlag des Saarlandes, 29-36.
Wollermann, Charlotte; Schade, Ulrich; Fisseni, Bernhard; Schröder, Bernhard (2010): Accentuation, Uncertainty and Exhaustivity - Towards a Model of Pragmatic Focus Interpretation. In: Proceedings of Speech Prosody, Chicago, IL, 100063:1-4.
Wollermann, Charlotte; Schröder, Bernhard; Schade, Ulrich (2010): Audiovisual Congruence and Pragmatic Focus Marking. In: Proceedings of Interspeech 2010, Makhuari, Japan, 1137-1140.
Cramer, Marcos; Koepke, Peter; Schröder, Bernhard (2011): Parsing and Disambiguation of Symbolic Mathematics in the Naproche System, paper for CICM 2011.
Newen, Albert; Schröder, Bernhard (2011): The influence of logic on semantics. In: Maienborn, C.; von Heusinger, K.; Portner, P. (eds.): Semantics. An international handbook of natural language meaning; Volume 1 (HSK Handbook series). Berlin, New York: Mouton de Gruyter.