Richter, Frank (2000) "A Mathematical Formalism for Linguistic Theories with an Application in Head-Driven Phrase Structure Grammar". Dissertation, EberhardKarls -Universitat Tubingen, Version of April 28th, 2000. Version of April 28th, 2000. Superseded by Richter 2004. Home/Search Document Not in Database 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 ....
....research is supported by a DFG grant (SFB 441 01) c #2001 Published by Elsevier Science B. V. Kepser a word. The main two extensions of RSRL over SRL is the introduction of arbitrary relations and quantification. Relations and quantification are specific to RSRL and not classical. Richter [11] argues at length that these extensions are required to fully formalise the principles of HPSG [9] Here, we will not enter into the linguistic discussion. Neither can we explain the design goals of RSRL. We will rather investigate computational and complexity properties of RSRL. In doing so we ....
[Article contains additional citation context not shown here]
Richter, F., "A Mathematical Formalism for Linguistic Theories with an Application in Head-Driven Phrase Structure Grammar," Ph.D. thesis, SfS, Universitat Tubingen (2000).
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 a ....
Richter, F., 2000. A Mathematical Formalism for Linguistic Theories with an Application in HeadDriven Phrase Structure Grammar. Ph.D. thesis, Seminar f ur Sprachwissenschaft, Universit at T ubingen, T ubingen. http://www.sfs.uni-tuebingen.de/fr/cards/dissertation.html.
Formal Grammar (HPSG) - Przepiórkowski (2000) (Correct)
.... Cowart 1997 and references therein) HPSG has been shown to provide successful models of aspects of L1 acqusition (Wacholder, 1995; Green, 1999) ffl solid logical foundations: a number of logics have been proposed to formalize HPSG (Carpenter, 1992; King, 1989, 1994, 1999; Pollard, 1999; Richter, 2000) (contrast this with Minimalism, where features play the primary role in derivations but there aren t (to the best of my knowledge) any formalizations of what features are, what their formal properties are, what values they may take, etc. ffl computationally tractable; in fact, HPSG ....
Richter, F. (2000). A Mathematical Formalism for Linguistic Theories with an Application in Head-Driven Phrase Structure Grammar. Ph.D. thesis, Universit#t T#bingen. In progress.
Applying Constraint Handling Rules to HPSG - Penn (2000) (Correct)
....more or less well suited to the purposes of HPSG, or, perhaps more historically accurate, to the rules of which linguists working with HPSG more or less elected to adhere. The language that the seminal work on HPSG of Pollard and Sag [1994] actually uses was nally formalized in its own right by Richter [2000], Richter et al. 1999] The bad news is that satis ability in this language is not even compact. The good news is that no one particularly seems to care about the bad news. This is due to the fact that: 1) most of the work performed by linguists in HPSG is not actually formalized in this ....
F. Richter. A Mathematical Formalism for Linguistic Theories with an Application in Headdriven Phrase Structure Grammar and a Fragment of German. PhD thesis, Universitat Tubingen, 2000.
A Comparison of LFG and HPSG - Kordoni, Richter (2000) Self-citation (Frank) (Correct)
No context found.
Richter, Frank. 2000. A Mathematical Formalism for Linguistic Theories with an Application in Head-Driven Phrase Structure Grammar. Ph.D. thesis, Eberhard-Karls-Universitat Tubingen (http://www.sfs. nphil.uni-tuebingen.de/fr/cards/dissertation.html).
Polish Negation and Lexical Resource Semantics - Richter, Sailer (2001) Self-citation (Richter) (Correct)
....language that can be interpreted model theoretically. No special devices are needed in order to capture scope ambiguities. Underspeci cation in LRS is underspeci cation at the level of HPSG s description language, which is where it originally belongs 10 in constraint based varieties of HPSG [23]; it is not underspeci cation on the level of the semantic representation language. Moreover, since any standard representation language can be substituted for the one we have used in this paper, LRS is expressively well suited for the description of complex semantic phenomena. Finally, as we have ....
Richter, F., A Mathematical Formalism for Linguistic Theories with an Application in Head-Driven Phrase Structure Grammar, Ph.D. thesis, Universitt Tbingen (2000).
Czech Clitics In Higher Order Grammar - Hana (2004) (Correct)
No context found.
Richter, Frank (2000) "A Mathematical Formalism for Linguistic Theories with an Application in Head-Driven Phrase Structure Grammar". Dissertation, EberhardKarls -Universitat Tubingen, Version of April 28th, 2000. Version of April 28th, 2000. Superseded by Richter 2004.
The Algebraic Structure of Attributed Type Signatures - Penn (2000) (4 citations) (Correct)
No context found.
F. Richter. A Mathematical Formalism for Linguistic Theories with an Application in Head-driven Phrase Structure Grammar and a Fragment of German. PhD thesis, Universitat Tubingen, in prep. J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the ACM, 12:23--41, 1965.
Slavic in HPSG - Borsley, (eds.) (1998) (Correct)
No context found.
Richter, F. forthcoming. A Mathematical Formalism for Linguistic Theories with an Application in Head-Driven Phrase Structure Grammar and a References / 37 Fragment of German. Doctoral dissertation, Universitat Tubingen. Working Title. Version: February 9th, 1998.
An RSRL Formalization of Serbo-Croatian Second Position Clitic.. - Penn (Correct)
No context found.
Richter, F. (forthcoming). A Mathematical Formalism for Linguistic Theories with an Application in Head-Driven Phrase Structure Grammar and a Fragment of German. Ph. D. thesis, Universitat Tubingen. Working Title. Version: February 9th, 1998.
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