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




@TechReport{Gardent_Konrad:1999,
      AUTHOR = {Gardent, Claire and Konrad, Karsten},
      TITLE = {Definites or the proper treatment of rabbits},
      YEAR = {1999},
      MONTH = {June},
      NUMBER = {111},
      PAGES = {12},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {ftp://ftp.coli.uni-sb.de/pub/coli/claus/claus111.ps},
      ABSTRACT = {We argue that model generation programs, i.e., deduction systems that automatically compute the interpretations satisfying a given formula, can provide a procedural interpretation for semantic theories of natural language. We illustrate this claim by describing how the higher-order model generator kimba interprets definite descriptions.},
      ANNOTE = {COLIURL : Gardent:1999:DPT.pdf Gardent:1999:DPT.ps}
}