Richter, F., M. Sailer and G. Penn, A Formal Interpretation of Relations and Quantification in HPSG, in: G. Bouma, E. Hinrichs, G.-J. M. Kruij# and R. T. Oehrle, editors, Constraints and Resources in Natural Language Syntax and Semantics, CSLI Publications, 1999 pp. 281--298. 17  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
On the Complexity of RSRL - Kepser (Correct)
....the expressive power of RSRL is significantly reduced, we show that if a class of finite structures is definable in chainless RSRL it is decidable by a Turing machine polynomially time bounded in the size of the input structures. 1 Introduction Relational Speciate Reentrant Logic (henceforce RSRL, [11,12]) is a description logic designed by Frank Richter, Manfred Sailer, and Gerald Penn to formalise Head Driven Phrase Structure Grammar [8,9] HPSG is one of the leading paradigms in current linguistic research. It is in particular characterised by a high degree of formalisation and in opposite to ....
Richter, F., M. Sailer and G. Penn, A Formal Interpretation of Relations and Quantification in HPSG, in: G. Bouma, E. Hinrichs, G.-J. M. Kruij# and R. T. Oehrle, editors, Constraints and Resources in Natural Language Syntax and Semantics, CSLI Publications, 1999 pp. 281--298. 17
On expressing lexical generalizations in HPSG - Meurers (Correct)
....of focusing the reader s attention on those aspects of the theory which are central to the discussion. From a theoretical perspective, macros are far less useful. Starting with the formalism as such, macros are not part of the formal setup of HPSG provided in King (1989, 1994) However, in Richter (1997, 1999, 2000) and Richter et al. 1999) the setup of King s SRL is extended with relations. The resulting Relational Speciate Re entrant Language (RSRL) makes it possible to refer to the argument of a relation instead of having to repeat the bundle of specifications used in defining it. 1 But even if ....
....attention on those aspects of the theory which are central to the discussion. From a theoretical perspective, macros are far less useful. Starting with the formalism as such, macros are not part of the formal setup of HPSG provided in King (1989, 1994) However, in Richter (1997, 1999, 2000) and Richter et al. 1999) the setup of King s SRL is extended with relations. The resulting Relational Speciate Re entrant Language (RSRL) makes it possible to refer to the argument of a relation instead of having to repeat the bundle of specifications used in defining it. 1 But even if a formalization of macros were ....
[Article contains additional citation context not shown here]
Richter, F., Sailer, M. & Penn, G., 1999. A Formal Interpretation of Relations and Quantification in HPSG. In Bouma, G., Hinrichs, E. W., Kruijff, G.-J. M. & Oehrle, R. T. (eds.), Constraints and Resources in Natural Language Syntax and Semantics, Stanford, CA: CSLI Publications.
Towards Truth In Head-Driven Phrase Structure Grammar - King (1999) (2 citations) (Correct)
....on SRL. To this end, Frank Richter and Manfred Sailer have conceived RSRL (Relational Speciate Re entrant Language) an extension of the syntax and semantics of SRL with a perspicuous interpretation of relations and functions formulated specifically to meet the practical needs of the HPSGian. See (Richter, 1999) and (Richter et al. 1999) for details. However, the expressive benefits of RSRL over SRL exact a price. Unlike for SRL, there can be no sound and complete logic for RSRL. Nonetheless, many of the ideas presented in the present paper transfer mutatis mutandis to RSRL, and a number of RSRL ....
....Frank Richter and Manfred Sailer have conceived RSRL (Relational Speciate Re entrant Language) an extension of the syntax and semantics of SRL with a perspicuous interpretation of relations and functions formulated specifically to meet the practical needs of the HPSGian. See (Richter, 1999) and (Richter et al. 1999) for details. However, the expressive benefits of RSRL over SRL exact a price. Unlike for SRL, there can be no sound and complete logic for RSRL. Nonetheless, many of the ideas presented in the present paper transfer mutatis mutandis to RSRL, and a number of RSRL counterparts of important results ....
Richter, F., Sailer, M., and Penn, G. (1999). A formal interpretation of relations and quantification in HPSG. In this volume.
Complementizers and Finite Verbs in German Sentence Structure - Richter, Sailer Self-citation (Richter Sailer) (Correct)
....given in (8) In the case of (1c) the opener itself is the head daughter of the sentence. Its to bind slash element is, therefore, identical with the loc value of its fronted constituent. In figure 5, the structure of sentence (1c) is shown. 8 To formalize relations in HPSG, we employ RSRL (Richter, Sailer and Penn 1998), which extends (King 1994) s SRL to allow for (bounded) quantification and relations and provides a model theory for HPSG grammars similar to the one sketched in (Pollard 1998) 141 Figure 5: The structure of a V2 clause: das Buch kauft Hans head comp struc 2 4 s 2 4 l c h 3 nonl i sl ....
Richter, F., Sailer, M. and Penn, G.: 1998, A formal interpretation of relations and quantification in HPSG, Proceedings of the Joint Conference on Formal Grammar, Head-Driven Phrase Structure Grammar, and Categorial Grammar, Saarbrucken, Germany.
An RSRL Formalization of Serbo-Croatian Second Position Clitic.. - Penn Self-citation (Penn) (Correct)
....case in Serbo Croatian where prosodic constituency plays a role on a par with syntactic constituency in determining the allowable placements of second position (2P) clitics. The third is to sketch a formal theory of Serbo Croatian 2P clitic placement using generalized word order domains in RSRL (Richter, Sailer, and Penn 1998; ISSN 0947 6954 c fl 19 Gerald Penn 1 2 GERALD PENN Richter ming) a relational extension of feature logic for expressing linguistic principles on the feature structures that license utterances, to provide the first analysis of a construction in HPSG that integrates both prosodic and ....
Richter, F., M. Sailer, and G. Penn (1998). A formal interpretation of relations and quantification in HPSG. In G. Bouma, G.-J. M. Kruijff, and R. T. Oehrle (Eds.), Proceedings of the FHCG-98, 14-- 16 August 1998, Saarbrucken, pp. 268--278.
A Generalized-Domain-Based Approach to Serbo-Croatian Second.. - Penn Self-citation (Penn) (Correct)
....case in Serbo Croatian where prosodic constituency plays a role on a par with syntactic constituency in determining the allowable placements of second position (2P) clitics. The third is to sketch a formal theory of Serbo Croatian 2P clitic placement using generalized word order domains in RSRL (Richter et al. 1999; Richter, forthcoming) a relational extension of feature logic for expressing linguistic principles on the feature structures that license utterances, to provide the first analysis of a construction in HPSG that integrates both prosodic and syntactic knowledge. 1 2 Gerald Penn 1.2 Clitic ....
....and implication has tighter precedence than quantification. x9y:p Generalized Domain Based Clitic Placement 15 means that y is a component of x, i.e. accessible from x by a (finite) path. It is a shorthand for 9y: exist(x; y) p) where 9 is RSRL s component quantification operator (Richter et al. 1999). x8y:p abbreviates : x9y: p) x is a type description. denotes the object that a constraint describes. 1. Topological Order: In any domain list, domain objects are ordered by relative topological field in the order shown in Tables 1 and 2. nelist(dom obj) 9r: region( r) topo order( ....
Richter, F., M. Sailer, and G. Penn. 1999. A formal interpretation of relations and quantification in HPSG. In G. Bouma, E. Hinrichs, G.-J. M. Kruijff, and R. T. Oehrle, eds., Constraints and Resources in Natural Language Syntax and Semantics .
An RSRL Formalization of Serbo-Croatian Second Position Clitic.. - Penn Self-citation (Penn) (Correct)
....case in Serbo Croatian where prosodic constituency plays a role on a par with syntactic constituency in determining the allowable placements of second position (2P) clitics. The third is to sketch a formal theory of Serbo Croatian 2P clitic placement using generalized word order domains in RSRL (Richter, Sailer, and Penn 1999; Richter forthcoming) a relational extension of feature logic ISSN 0947 6954 c fl 19 Gerald Penn 1 2 GERALD PENN for expressing linguistic principles on the feature structures that license utterances, to provide the first analysis of a construction in HPSG that integrates both prosodic ....
....quantification has tighter precedence than conjunction, and implication has tighter precedence than quantification. x9y:p means that y is a component of x, i.e. accessible from x by a (finite) path. It is a shorthand for 9y: exist(x; y) p) where 9 is RSRL s component quantification operator (Richter, Sailer, and Penn 1999). x8y:p abbreviates : x9y: p) x is a type description. denotes the object that a constraint describes. 1. Topological Order: In any domain list, domain objects are ordered by relative topological field in the order shown in Tables 1 and 2. nelist(dom obj) 9r: region( r) topo order( ....
Richter, F., M. Sailer, and G. Penn (1999). A formal interpretation of relations and quantification in HPSG. This volume.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC