8 found
Sort by:
Disambiguations:
Uwe Reyle [5]U. Reyle [3]
See also:
Profile: Uwe Reyle (Universität Stuttgart)
  1. U. Reyle (forthcoming). Vagueness and Ambiguity in DRT. Journal of Semantics.
     
    My bibliography  
     
    Export citation  
  2. D. M. Gabbay & U. Reyle (2012). Computation with Run Time Skolemisation (N-Prolog Part 3). Journal of Applied Non-Classical Logics 3 (1):93-128.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. 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  
  4. D. M. Gabbay & U. Reyle (1997). Labelled Resolution for Classical and Non-Classical Logics. Studia Logica 59 (2):179-216.
    Resolution is an effective deduction procedure for classical logic. There is no similar "resolution" system for non-classical logics (though there are various automated deduction systems). The paper presents resolution systems for intuistionistic predicate logic as well as for modal and temporal logics within the framework of labelled deductive systems. Whereas in classical predicate logic resolution is applied to literals, in our system resolution is applied to L(abelled) R(epresentation) S(tructures). Proofs are discovered by a refutation procedure defined on LRSs, that imposes (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  5. 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  
  6. 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  
  7. 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  
  8. 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