%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:43:14 +0100 GMT
%    
% Selection : Author: Werner_Saurer
%




@Article{Erbach_Saurer:2000,
      AUTHOR = {Erbach, Gregor and Saurer, Werner},
      TITLE = {Review of Handbook of Logic in Artificial Intelligence and Logic Programming},
      YEAR = {2000},
      JOURNAL = {Artificial Intelligence Review},
      VOLUME = {14},
      NUMBER = {6},
      PAGES = {615-617},
      URL = {http://purl.org/net/gregor/pub/gabbay.txt},
      NOTE = {Original publication: Dov M. Gabbay, Christopher J. Hogger, John Alan Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies},
      ANNOTE = {COLIURL : Erbach:2000:RHL.pdf Erbach:2000:RHL.ps}
}

@TechReport{Saurer:1991,
      AUTHOR = {Saurer, Werner},
      TITLE = {A Natural Deduction System for Discourse Representation Theory},
      YEAR = {1991},
      MONTH = {December},
      NUMBER = {16},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes}
}

@Article{Saurer:1993,
      AUTHOR = {Saurer, Werner},
      TITLE = {A Natural Deduction System for Discourse Representation Theory},
      YEAR = {1993},
      JOURNAL = {Journal of Philosophical Logic},
      VOLUME = {22},
      PAGES = {249-302}
}

@TechReport{Saurer:1994,
      AUTHOR = {Saurer, Werner},
      TITLE = {A Note on Anaphora and Inference},
      YEAR = {1994},
      MONTH = {October},
      NUMBER = {46},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      ABSTRACT = {There are cases of anaphoric relations that even dynamic semantic theories such as Discourse Representation Theory (DRT) have difficulties with in that they cannot provide for an appropriate antecedent for certain occurrences of pronouns. Some people think this shows that those theories are not dynamic enough and have suggested various remedies such as accommodation. In this paper I show how inference can provide for the missing antecedent in those problem cases even within the framework of existing dynamic theories. A natural deduction system working directly with Discourse Representation Structures is used to accomplish this.}
}