IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Reference no #197   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:30:27
197 Add to my selection
      AUTHOR = {Blackburn, Patrick and Bos, Johan and Kohlhase, Michael and de Nivelle, Hans},
      TITLE = {Inference and Computational Semantics},
      YEAR = {1998},
      MONTH = {November},
      NUMBER = {106},
      PAGES = {15},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {},
      ABSTRACT = {This paper discusses inference in computational semantics. We argue that state-of-the-art methods in first-order it theorem proving/ and it model building/ are of direct relevance to inference for natural language processing. We support our claim by discussing our implementation of van der Sandt's presupposition projection algorithm in Discourse Representation Theory, an algorithm which demands sustained use of powerful inference mechanisms.},
      ANNOTE = {COLIURL : Blackburn:1998:ICS.pdf Blackburn:1998:ICS.dvi}
Last modified: Thu October 16 2014 19:11:34         BibAdmin