BibTeX

@InProceedings{sagkur-lrec06:chemorph2,
  author = {Stefanie Anstein and Gerhard Kremer and Uwe Reyle},
  title = {Identifying and Classifying Terms in the Life Sciences: {T}he Case
	of Chemical Terminology},
  booktitle = {Proceedings of the Fifth Language Resources and Evaluation Conference
	(LREC 2006)},
  year = 2006,
  editor = {Nicoletta Calzolari and Khalid Choukri and Aldo Gangemi and Bente
	Maegaard and Joseph Mariani and Jan Odijk and Daniel Tapias},
  pages = {1095-1098},
  address = {Genoa, Italy},
  month = may,
  organization = {{ELRA-ELDA}},
  pdf = {http://www.lrec-conf.org/proceedings/lrec2006/pdf/617_pdf.pdf}
}

@book{baeuerlereylezimmermann:2010,
  title = {Presuppositions and Discourse. Essays offered to Hans Kamp},
  publisher = {Elsevier},
  year = {2010},
  editor = {B{ä}uerle, Rainer and Reyle, Uwe and Zimmermann, Thomas E.},
  address = {Oxford}
}

@article{ratschetal:2003,
  author = {P. Cimiano and E. Ratsch and U. Reyle and J. Saric and J. Schulz
	and U. Wittig},
  title = {Developping a Protein Interactions Ontology},
  journal = {Comparative and Functional Genomics},
  year = {2003}
}

@InProceedings{cimianoreyle:2003,
  author = {Philipp Cimiano and Uwe Reyle},
  title = {Ontology-Driven Semantics Construction, Underspecification and Disambiguation},
  booktitle = {Proceedings of the Prospects and Advances in the Syntax and Semantics
	Interface Workshop},
  year = {2003},
  organization = {Nancy}
}

@InProceedings{cimianoreyle:2005,
  author = {Philipp Cimiano and Uwe Reyle},
  title = {Talking about Trees, Scope and Concepts},
  booktitle = {submitted to: Proceedings of the Sixth International Workshop on
	Computational Semantics IWCS-6},
  year = {2005},
  organization = {Tilburg}
}

@article{reyleetal:2004,
  author = {Philipp Cimiano and Uwe Reyle and Jasmin Saric},
  title = {Ontology Driven Discourse Analysis for Information Extraction},
  journal = {Data and Knowledge Engeneering Journal},
  year = {2004}
}

@InProceedings{frankreyle92,
  author = {Anette Frank and Uwe Reyle},
  title = {How to Cope with Scrambling and Scope},
  booktitle = {KONVENS 92. 1. Konferenz ``Verarbeitung nat{ü}rlicher Sprache''},
  year = {1992},
  editor = {G. G{ö}rtz},
  series = {Informatik aktuell},
  pages = {178-187},
  address = {Berlin},
  publisher = {Springer Verlag}
}

@InProceedings{frank/reyle:1995eacl,
  author = {Frank, Anette and Reyle, Uwe},
  title = {Principle Based Semantics for {HPSG}},
  booktitle = {Proceedings of the 6th Meeting of the Association for Computational Linguistics, European Chapter},
  year = 1995,
  address = {Dublin},
  keywords = {SFB340},
  postscript = {ftp://ftp.ims.uni-stuttgart.de/pub/papers/reyle/Sem-Principle-based.ps.gz}
}

@InProceedings{frey/reyle:1983,
  author = {Frey, Werner and Reyle, Uwe},
  title = {A Prolog Implementation of {L}exical {F}unctional {G}rammar as a
	Base for a Natural Language Processing System},
  booktitle = {Proceedings of the Conference of the European Assocation of Computational
	Linguistics},
  year = {1983},
  pages = {52-57},
  address = {Pisa, Italy}
}

@article{gabbay/reyle:1993,
  author = {Gabbay, Dov and Reyle, Uwe},
  title = {Computation with run time skolemisation ({N}-{PROLOG} part 3)},
  journal = {Journal of Applied Non-Classical Logics},
  year = {1993},
  volume = {3},
  pages = {93-128},
  number = {1}
}

@article{reyle/gabbay:1994,
  author = {Gabbay, Dov and Reyle,Uwe},
  title = {Direct Deductive Computation on Discourse Representation Structures.},
  journal = {Linguistics and Philosophy},
  year = {1994}
}

@article{gabbay/reyle:1994,
  author = {Gabbay, Dov and Reyle, Uwe},
  title = {N-{PROLOG}: {A}n Extension of {PROLOG} with Hypothetical Implications},
  journal = {Journal of Logic Programming},
  year = {1994},
  volume = {4},
  pages = {319-355}
}

@inbook{genabithkampreyle,
  chapter = {Discourse Representation Theory},
  title = {Handbook of Philosophical Logic},
  publisher = {Springer},
  year = {2011},
  editor = {Dov Gabbay and Franz Guenthner},
  author = {Josef van Genabith, Hans Kamp and Uwe Reyle},
  volume = {15},
  optpages = {125-394}
}

@book{kampreyle93,
  title = {From Discourse to Logic. Introduction to Modeltheoretic Semantics
	of Natural Language, Formal Logic and Discourse Representation Theory},
  publisher = {Kluwer},
  year = {1993},
  author = {Hans Kamp and Uwe Reyle},
  address = {Dordrecht}
}

@article{kampreyle96,
  author = {Hans Kamp and Uwe Reyle},
  title = {A Calculus for First Order Discourse Representation Structures},
  journal = {Journal of Logic, Language, and Information},
  year = {1996},
  pages = {297-348}
}

@book{kampreyle:01,
  title = {How we say WHEN it happens. Contributions to the theory of temporal
	reference in natural language},
  publisher = {Max Niemeyer Verlag},
  year = {2001},
  editor = {Hans Kamp and Uwe Reyle}
}

@inbook{kampreyle:drtvheusinger,
  chapter = {Discourse Representation Theory},
  pages = {872-919},
  title = {Semantics: An International Handbook of Natural Language Meaning},
  publisher = {de Gruyter},
  year = {2011},
  editor = {K. von Heusinger, C. Maienborn and P. Portner},
  author = {Hans Kamp and Uwe Reyle}
}

@incollection{genabithetal:2005a,
  author = {Hans Kamp and Josef van Genabith and Uwe Reyle},
  title = {Discourse Representation Theory},
  booktitle = {Handbook of Philosophical Logic},
  publisher = {Kluwer},
  year = {2005},
  editor = {Dov Gabbay and Franz Guenthner},
  pdf = {https://www.ims.uni-stuttgart.de/~uwe/Papers/DRT.pdf}
}

@incollection{koenig/reyle:1999,
  author = {K{ö}nig, Esther and Reyle, Uwe},
  title = { A General Reasoning Scheme for Underspecified Representations},
  booktitle = {Logic, Language and Reasoning. Essays in Honour of Dov Gabbay.},
  publisher = {Kluwer},
  year = {1999},
  editor = {Hans J{ü}rgen Ohlbach and Uwe Reyle},
  keywords = {semantics, SFB340},
  postscript = {https://www.ims.uni-stuttgart.de/projekte/corplex/paper/koenig/ul.ps.gz}
}

@InProceedings{krausereyleschiehlen:1999,
  author = {Krause, Peter and Reyle, Uwe and Schiehlen, Michael},
  title = {{Spatial Inferences in a Localization Dialogue}},
  booktitle = {{Sixi{è}me conf{é}rence annuelle sur le Traitement Automatique
	des Langues Naturelles (TALN'99), ATALA}},
  year = {1999},
  address = {{Carg{è}se, Corse}},
  month = {July},
  keywords = {formal semantics, dialogue}
}

@incollection{krausereyleschiehlen:2001,
  author = {Krause, Peter and Reyle, Uwe and Schiehlen, Michael},
  title = {{Spatial Inferences in a Localization Dialogue}},
  booktitle = {{Experimenting with Current Dynamic Theories}},
  publisher = {{Pergamon}},
  year = {2001},
  editor = {{Bras, Myriam and Vieu, Laure}},
  series = {{Semantic and Pragmatic Issues in Discourse and Dialogue}},
  pages = {183-216},
  month = {October},
  keywords = {formal semantics, dialogue}
}

@InProceedings{gksaur-smbm06:chemorph,
  author = {Gerhard Kremer and Stefanie Anstein and Uwe Reyle},
  title = {Analysing and Classifying Names of Chemical Compounds with {CHEM}orph},
  booktitle = {Proceedings of the Second International Symposium on Semantic Mining
	in Biomedicine (SMBM 2006)},
  year = {2006},
  editor = {Sophia Ananiadou and Juliane Fluck},
  pages = {37-43},
  address = {Jena, Germany},
  month = apr,
  organization = {{JULIE} Lab, Friedrich-Schiller-Universit{ä}t},
  pdf = {http://CEUR-WS.org/Vol-177/paper_kremer.pdf}
}

@incollection{reyle84antw,
  author = {Uwe Reyle},
  title = {Über die Beantwortung Nat{ü}rlichsprachlicher Fragen an Datenbanken},
  booktitle = {Probleme des Textverstehens. Ans{ä}tze zur k{ü}nstlichen Intelligenz},
  publisher = {Niemeyer},
  year = {1984},
  editor = {Rollinger, R.},
  address = {T{ü}bingen}
}

@InProceedings{reyle:1985,
  author = {Reyle, Uwe},
  title = {Grammatical Functions, Discourse Referents and Quantification},
  booktitle = {Proceedings of the 9th International Joint Conference on Artificial
	Intelligence },
  year = {1985},
  pages = {829-31},
  address = {Los Angeles},
  publisher = {IJCAI}
}

@InProceedings{uwegrundprinzipien,
  author = {Reyle, Uwe},
  title = {Grundprinzipien der Diskursrepr{ä}sentationstheorie},
  booktitle = {Proceedings of the 9th German Workshop on Artificial Intelligence},
  year = {1985},
  address = {Dassel/Solling},
  publisher = {GWAI}
}

@incollection{reyle85int,
  author = {Uwe Reyle},
  title = {Zur Interpretation des Franz{ö}sischen Imparfait},
  booktitle = {Strukturen und Verfahren in der maschinellen Sprachverarbeitung},
  publisher = {Dudweiler},
  year = {1985},
  editor = {Klenk, U.}
}

@phdthesis{reyle86temp,
  author = {Uwe Reyle},
  title = {Die temporale Dimension und die Behandlung von Aktionsarten beim
	Prozessieren nat{ü}rlicher Sprachen},
  school = {Universit{ä}t Stuttgart},
  year = {1986},
  note = {Erschienen als: Zeit und Aspekt bei der Verarbeitung nat{ü}rlicher
	Sprache. IBM Stuttgart}
}

@phdthesis{reyle1986,
  author = {Reyle, Uwe},
  title = {Zeit und Aspekt bei der Verarbeitung nat{ü}rlicher Sprachen},
  school = {Institut f{ü}r Maschinelle Sprachverarbeitung, Universit{ä}t
	Stuttgart},
  year = {1986},
  address = {Stuttgart}
}

@incollection{reyle:1988,
  author = {Reyle, Uwe},
  title = {Compositional Semantics for {LFG}},
  booktitle = {Natural Language Parsing and Linguistic Theories},
  publisher = {Reidel},
  year = {1988},
  editor = {Reyle, Uwe and Rohrer, Christian},
  pages = {448-474}
}

@InProceedings{uwe92deal,
  author = {Reyle, Uwe},
  title = {Dealing with Ambiguities by Underspecification: Deduction},
  booktitle = {Proceedings of the Eighth Amsterdam Colloquium},
  year = {1992},
  address = {Amsterdam}
}

@article{reyle:1993daucrd,
  author = {Reyle, Uwe},
  title = {Dealing with Ambiguities by Underspecification: Construction, Representation,
	and Deduction},
  journal = {Journal of Semantics},
  year = {1993},
  volume = {10},
  pages = {123-179},
  number = {2},
  keywords = {SFB340}
}

@InProceedings{reyle:1995ra,
  author = {Reyle, Uwe},
  title = {On Reasoning with Ambiguities},
  booktitle = {Proceedings of the 6th Meeting of the Association for Computational
	Linguistics, European Chapter},
  year = {1995},
  pages = {1-8},
  address = {Dublin},
  keywords = {SFB340},
  postscript = {ftp://ftp.ims.uni-stuttgart.de/pub/papers/reyle/Reasoning-Ambiguities.ps.gz}
}

@article{reyle95under,
  author = {Uwe Reyle},
  title = {Underspecified Discourse Representation Structures and their Logic},
  journal = {Special Issue of the Bulletin of the IGPL},
  year = {1995},
  month = {Januar},
  note = {Ruth Kempson (Hrsg.)}
}

@article{reyle:1995udrsl,
  author = {Reyle, Uwe},
  title = {{U}nderspecified {D}iscourse {R}epresentations and their Logic},
  journal = {Bulletin of the Interest Group of Logic Programming},
  year = {1995},
  keywords = {SFB340}
}

@incollection{reyle96,
  author = {Uwe Reyle},
  title = {Co-indexing Labeled DRSs to Represent and Reason with Ambiguities},
  booktitle = {Semantic Ambiguity and Underspecification},
  publisher = {CSLI publications},
  year = {1996},
  editor = {Kees van Deemter and Stanley Peters},
  number = {55},
  pages = {239-268}
}

@incollection{reyle:1996,
  author = {Reyle, Uwe},
  title = {Co-Indexing Labelled {DRS}s to Represent and Reason with Ambiguities},
  booktitle = {Semantic Ambiguity and Underspecification},
  publisher = {Center for the Study of Language and Information},
  year = {1996},
  editor = { Peters, Stanley and Deemter, Kees van},
  series = {CSLI Lecture Notes},
  address = {Stanford, Ca.},
  keywords = {SFB340},
  postscript = {ftp://ftp.ims.uni-stuttgart.de/pub/papers/reyle/Co-indexing-UDRSs.ps.gz}
}

@article{reyle99,
  author = {Uwe Reyle},
  title = {A note on enumerations and the semantics of ``puis'' and ``alors''},
  journal = {Cahiers de Grammaire},
  year = {1999},
  volume = {1}
}

@incollection{reyle:01,
  author = {Uwe Reyle},
  title = {On the semantics of PUIS and ALORS},
  booktitle = {How we say WHEN it happens. Contributions to the theory of temporal
	reference in natural language},
  publisher = {Max Niemeyer Verlag},
  year = {2001},
  editor = {Hans Kamp and Uwe Reyle}
}

@article{reyle:terminology,
  author = {Uwe Reyle},
  title = {Understanding Chemical Terminology},
  journal = {Terminology},
  year = {2005},
  pdf = {ftp://ftp.ims.uni-stuttgart.de/pub/papers/reyle/terminology.pdf}
}

@article{reyle83,
  author = {Uwe Reyle and W. Frey},
  title = {Lexical Functional Grammar und Diskursrepr{ä}sentationstheorie
	als Grundlage eines sprachverarbeitenden Systems},
  journal = {Linguistische Berichte},
  year = {1983},
  volume = {88/83}
}

@InProceedings{uwe83prolog2,
  author = {Reyle, Uwe and W. Frey},
  title = {A Prolog Implementation of Lexical Functional Grammar},
  booktitle = {Proceedings of the Eighth International Conference of Artificial
	Intelligence},
  year = {1983},
  address = {Karlsruhe},
  publisher = {IJCAI}
}

@InProceedings{uwe83prolog,
  author = {Reyle, Uwe and W. Frey},
  title = {A Prolog Implementation of Lexical Functional Grammar as a Base for
	a Natural Language Processing System},
  booktitle = {Proceedings of the First Annual Meeting of the ECAI},
  year = {1983},
  address = {Pisa},
  publisher = {ECAI}
}

@InProceedings{uwe83constr,
  author = {Reyle, Uwe and W. Frey and C. Rohrer},
  title = {Automatic Construction of a Knowledge Base by Analysing Texts in
	Natural Language},
  booktitle = {Proceedings of the Eighth International Conference on Artificial
	Intelligence},
  year = {1983},
  address = {Karlsruhe},
  publisher = {IJCAI}
}

@article{reyle94prolog,
  author = {Uwe Reyle and Dov Gabbay},
  title = {N-Prolog: An Extension of Prolog with Hypothecial Implications},
  journal = {Journal of Logic Programming},
  year = {1984},
  volume = {1}
}

@article{reyle93comput,
  author = {Uwe Reyle and Dov Gabbay},
  title = {Computation with Run-Time-Skolemization. N-PROLOG III},
  journal = {Journal of Applied Non-Classical Logics},
  year = {1993},
  volume = {III, 1}
}

@article{reyle94direct,
  author = {Uwe Reyle and Dov Gabbay},
  title = {Direct Deductive Computation on Discourse Representation Structures},
  journal = {Linguistics and Philosophy},
  year = {1994},
  month = {August}
}

@article{reylegabbay97,
  author = {Uwe Reyle and Dov Gabbay},
  title = {Labelled Resolution for Classical an Non-classical Logics},
  journal = {Studia Logica, 2 (59)},
  year = {1997}
}

@book{reylejolac,
  title = {Journal of Language and Computation},
  publisher = {Hermes Science Publishing Ltd. Oxford},
  year = {2000},
  editor = {Uwe Reyle and Dov Gabbay and Jonathan Ginzburg and Shalom Lappin
	and Ruth Kempson},
  postscript = {http://www.dcs.kcl.ac.uk/journals/jlac/}
}

@InProceedings{uwe95unterspezifiziert,
  author = {Uwe Reyle and Hans Kamp and Antje Rossdeutscher},
  title = {Diskursrepr{ä}sentation: unterspezifiziert, lexikonbasiert},
  booktitle = {Integrative Ans{ä}tze in der Computerlinguistik. Beitr{ä}ge zur
	5.Fachtagung des Sektion Computerlinguistik der DGfS},
  year = {1995},
  editor = {J. Kilbury and R. Wiese},
  address = {D{ü}sseldorf}
}

@book{reyle97hrsg,
  title = {Logic and its Applications: Festschrift for Dov Gabbay},
  publisher = {Kluwer},
  year = {1997},
  editor = {Uwe Reyle and H. J. Ohlbach},
  address = {Dordrecht}
}

@InProceedings{uwe99poesio,
  author = {Reyle, Uwe and M. Poesio},
  title = {Partially Resolved Interpretations},
  booktitle = {Proceedings of the Paris Conference on Syntax and Semantics},
  year = {1999},
  address = {Paris},
  month = {October}
}

@InProceedings{uwe00poesio,
  author = {Reyle, Uwe and M. Poesio},
  title = {Underspecification in reference: some evidence from corpora},
  booktitle = {Proceedings of the KR-2000 Workshop on Semantic Approximation, Granularity,
	and Vagueness},
  year = {2000},
  address = {Breckenridge},
  month = {April}
}

@InProceedings{uwe01poesio,
  author = {Reyle, Uwe and M. Poesio},
  title = {Underspecification in Anaphoric Reference},
  booktitle = {Proceedings of the Fourth International Workshop on Computational
	Semantics},
  year = {2001},
  address = {Tilburg},
  month = {January},
  publisher = {IWCS-4}
}

@InProceedings{reyle/riester:2016,
  author = {Uwe Reyle and Arndt Riester},
  title = {{Joint information structure and discourse structure analysis in an Underspecified DRT framework}},
  booktitle = {Proceedings of the 20th Workshop on the Semantics and Pragmatics of Dialogue (JerSem)},
  editor = {Julie Hunter and Mandy Simons and Matthew Stone},
  year = {2016},
  pages = {15-24},
  address = {New Brunswick, NJ, USA},
  pdf = {http://semantics.rutgers.edu/jersem/proceedings/Semdial_2016_JerSem_proc_full_02_paper_15.pdf}
}

@book{reyle87hrsg,
  title = {Natural Language Parsing and Linguistic Theories},
  publisher = {Kluwer},
  year = {1987},
  editor = {Uwe Reyle and C. Rohrer},
  address = {Dordrecht}
}

@book{reyle/rohrer:1988,
  title = { Natural Language Parsing and Linguistic Theory},
  publisher = {Reidel},
  year = {1988},
  editor = {Reyle, Uwe and Rohrer, Christian},
  series = {Studies in Linguistics and Philosophy}
}

@incollection{reyleross:2001,
  author = {Uwe Reyle and Antje Rossdeutscher},
  title = {Temporal Underspecification in Discourse},
  booktitle = {Linguistic Form and its Computation},
  publisher = {CSLI},
  year = {2001},
  editor = {C. Rohrer and A. Rossdeutscher and H. Kamp},
  pages = {255-283},
  postscript = {https://www.ims.uni-stuttgart.de/~uwe/Papers/csli-band.ps}
}

@article{reyleetal:2005,
  author = {Uwe Reyle and Antje Rossdeutscher and Hans Kamp},
  title = {Ups and Downs in the Theory of Temporal Reference},
  journal = {submitted to: Linguistics & Philosophy},
  year = {2005},
  pdf = {https://www.ims.uni-stuttgart.de/~uwe/Papers/UPSDOWNS.pdf}
}

@article{reyle-et-al:2008,
  author = {Uwe Reyle and Antje Rossdeutscher and Hans Kamp},
  title = {Ups and downs in the theory of temporal reference},
  journal = {Linguistics and Philosophy},
  year = {2008},
  volume = {5},
  pages = {565-635}
}

@InProceedings{saricreyle01,
  author = {Uwe Reyle and Jasmin Saric},
  title = {Ontology-Driven Information Extraction},
  booktitle = {Proceedings of the ninetenth Twente Workshop on Language Technology,
	TWLT 19},
  year = {2001},
  editor = {Paul van der Vet and Gertjan van Ommen and Anton Nijholt and Alfonso
	Valencia},
  organization = {University of Enschede},
  postscript = {https://www.ims.uni-stuttgart.de/~uwe/Papers/esf.ps}
}

@InProceedings{reylesaric:eccb,
  author = {Uwe Reyle and Jasmin Saric},
  title = {TIGERSearch attacks Proteins},
  booktitle = {Proceedings of the European Conference on Computational Biology (ECCB
	2003) in Conjunction with the French National Conference on Bioinformatics
	(JOBIM 2003)},
  year = {2003},
  editor = {Catherine Christophe, Hans-Peter Lenhof and Marie-France Sagot}
}

@misc{reyleposter2:02,
  author = {Uwe Reyle and Jasmin Saric and Philipp Cimiano Lavin and Heike Zinsmeister},
  title = {Ontology-driven disambiguation of syntactic and semantic ambiguities
	in GenIE},
  howpublished = {European Media Laboratory, Heidelberg},
  month = {November},
  year = {2002},
  note = {Poster at Workshop on Ontology for Biology}
}

@InProceedings{saricreyle02,
  author = {Uwe Reyle and Jasmin  v {S}ari{c}},
  title = {Corpus Driven Information Extraction},
  booktitle = {Proceedings of the EFMI Workshop on Natural Language Processing in
	Biomedical Applications},
  year = {2002},
  editor = {Baud, Robert and Ruch, Patrick},
  address = {Nicosia, Cyprus},
  publisher = {unknown}
}

@incollection{rossdeutscher/reyle:2000a,
  author = {Antje Ro{ß}deutscher and Uwe Reyle},
  title = {Very short stories. {T}owards an algorithm for lexically based text
	interpretation},
  booktitle = {Presuppositions and Underspecification in the Computation of Temporal
	and other Relations in Discourse},
  publisher = {Arbeitsberichte des Sonderforschungsbereichs 340, Stuttgart/T{ü}bingen,
	Nr.164},
  year = {2000},
  editor = {Uwe Reyle}
}

@incollection{sar08,
  author = {Saric, Jasmin and Engelken, Henriette and Reyle, Uwe},
  title = {Discovering biomedical knowledge from {L}iterature},
  booktitle = {Functional {P}roteomics ({M}ethods in {M}olecular {B}iology)},
  publisher = {Humana Press},
  year = {2008},
  editor = {Thompson, J. D. and Schaeffer-Reiss, C. and Ueffing, M.}
}