4 found
Sort by:
  1. Claire Gardent & Michael Kohlhase, Higher{Order Coloured Uni Cation and Natural Language Semantics.
    In this paper, we show that Higher{Order Coloured Uni cation { a form of uni cation developed for automated theorem proving { provides a general theory for modeling the interface between the interpretation process and other sources of linguistic, non semantic information. In particular, it provides the general theory for the Primary Occurrence Restriction which (Dalrymple et al., 1991)'s analysis called for.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Claire Gardent & Bonnie Webber (2001). Towards the Use of Automated Reasoning in Discourse Disambiguation. Journal of Logic, Language and Information 10 (4):487-509.
    In this paper, we claim that the disambiguation ofreferring expressions in discourse can be formulated in terms automatedreasoners can address. Specifically, we show that consistency,informativity and minimality are criteria which (i) can be implementedusing automated reasoning tools and (ii) can be used to disambiguatenoun-noun compounds, metonymy and definite descriptions.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Claire Gardent (2000). Deaccenting and Higher-Order Unification. Journal of Logic, Language and Information 9 (3):313-338.
    The HOU-based analysis of ellipsis was shown byDalrymple et al. (1991) and Shieber et al. (1996) to correctly capture thecomplex interaction of VP-ellipsis, scope and anaphora and claimed toextend to further related phenomena. When applied to deaccenting, theanalysis makes a strong prediction, namely that all anaphors occurringin the deaccented part of a deaccented utterance are parallelanaphors, i.e., anaphors that resolve to their parallel counterpart inthe source. I argue that this prediction is supported by the data andshow that it correctly captures (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Patrick Blackburn, Claire Gardent & Maarten De Rijke (1996). Rich Ontologies for Tense and Aspect. In Jerry Seligman & Dag Westerståhl (eds.), Logic, Language and Computation. Csli Publications, Stanford.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation