5 found
Sort by:
See also:
Profile: Uwe Reyle (Universität Stuttgart)
  1. Uwe Reyle, Antje Rossdeutscher & Hans Kamp (2007). Ups and Downs in the Theory of Temporal Reference. Linguistics and Philosophy 30 (5):565-635.
    This paper proposes a method for computing the temporal aspects of the interpretations of a variety of Germa sentences. The method is strictly modular in the sense that it allows each meaning-bearing sentence constituent to make its own, separate, contribution to the semantic representation of any sentence containing it. The semantic representation of a sentence is reached in several stages. First, an ‘initial semantic representation’ is constructed, using a syntactic analysis of the sentence as input. This initial representation is then (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  2. Hans Kamp & Uwe Reyle (1996). A Calculus for First Order Discourse Representation Structures. Journal of Logic, Language and Information 5 (3-4):297-348.
    This paper presents a sound and complete proof system for the first order fragment of Discourse Representation Theory. Since the inferences that human language users draw from the verbal input they receive for the most transcend the capacities of such a system, it can be no more than a basis on which more powerful systems, which are capable of producing those inferences, may then be built. Nevertheless, even within the general setting of first order logic the structure of the (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Uwe Reyle & Dov M. Gabbay (1994). Direct Deductive Computation on Discourse Representation Structures. Linguistics and Philosophy 17 (4):343 - 390.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  4. Hans Kamp & Uwe Reyle (1993). From Discourse to Logic. Kluwer.
    Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more specifically than ...
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  5. Uwe Reyle (1993). Dealing with Ambiguities by Underspecification: Construction, Representation and Deduction. Journal of Semantics 10 (2):123-179.
    In this paper we develop a theory of language meaning that represents scope ambiguities by underspecified structures. The set of possible meanings of a sentence, or text is determined by a set of meta-level constraints that restricts the class of semantic representations appropriately. Thus the way ambiguities are represented does not correspond to any of the usual concepts of formalizing ambiguities by means of disjunctions (of completely specified structures). A sound and complete proof theory is provided that relates these structures (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation