@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}
}
|
