D ORRE, JOCHEN, & MICHAEL DORNA. 1993. CUF -- a formalism for linguistic knowledge representation. ESPRIT Basic Research Action 3175, ESPRIT, Institut fur maschinelle Sprachverarbeitung, Universitat Stuttgart. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Strictly Lexicalized Approach to Phonology - Walther (Correct)
....input is also finite, termination is guaranteed. In her paper K onig then develops a fully lexicalized HPSG like grammar for German, amounting to an intensional description of the set of legal s t r i n g syntax semantics triples formalized in the Comprehensive Unification Formalism (CUF, D orre Dorna 1993). Clearly, however, what is lacking in modern constraint based grammar is genuine ph o n o l o g i c a l information, since mere o r t hog r aph i ca l s t r i ng representations are unsuited for a number of realistic tasks such as interfacing with spoken language frontends or modelling prosodic ....
D orre, J. / Dorna, M. (1993): CUF - a formalism for linguistic knowledge representation. Deliverable R.1.2A, DYANA 2.
Computational and Structural Aspects of Openly Specified Type.. - Hegner (1998) (Correct)
.... feature structures have become central within computational linguistics, the most prominent undoubtedly being HPSG [22] As a result, numerous computational frameworks specifically designed for constraintbased reasoning on typed feature logics have emerged, among them ALE [5] TFS [24] and CUF [7]. Likewise, systems for representing and managing lexical information in a hierarchical fashion have appeared in recent years [3] To function efficiently, all of these frameworks must first and foremost be capable of managing the associated type hierarchy effectively. 1 All type hierarchies ....
....agreement as 1 By type hierarchy, we mean the static hierarchy of (parameterless) types which underlies the typing mechanism of the feature structures. We do not include the recursively specified types which also form an integral part of grammars which are specified using such systems. In CUF [7], the static types are called types, and the (often parameterized) recursive types are called sorts, but there is no universal agreement, and other terminology, or even the opposite terminology, is often used. Pollard and Sag [22] for example, use the term sort to characterize that which we call ....
[Article contains additional citation context not shown here]
J. Doerre and M. Dorna. CUF -- a formalism for linguistic knowledge representation. In J. Dorre, editor, Computational Aspects of Constraint-Based Linguistic Description, DYANA-2 Deliverable R.1.2.A, pages 3--22. ESPRIT, 1993.
Nonclassical Feature Systems - Schöter, (eds.) (1995) (1 citation) (Correct)
.... these formalisms easily exceed the descriptive machinery available in feature logic (Smolka, 1992) Furthermore the descriptive machinery employed by both HPSG and LFG is difficult (if not impossible) to state in feature based formalisms such as ALE (Carpenter, 1993) TFS (Zajac, 1992) and CUF (D orre Dorna, 1993) which augment feature logic with a type system. One such expressive device employed both within LFG (Kaplan, 1989) 39 Edinburgh Working Papers in Cognitive Science, Vol. 10: Nonclassical Feature Systems, pp. 39 60. Andreas Sch oter and Carl Vogel, eds. Copyright c fl 1995 Suresh Manandhar. 40 ....
D¨orre, J. & Dorna, M. (1993). CUF: A Formalism for Linguistic Knowledge Representation.
Verb Second by Lexical Rule or by Underspecification - Frank (1994) (7 citations) (Correct)
....that fulfills the constraint on identity of (underspecified) categorial information structure, and furthermore accounts for the strictly local character of the V2 dependency relation. The analysis presented in section 4 has been implemented in the CUF system, developed at IMS Stuttgart (see D orre Dorna (1993)) The grammar makes direct use of the underspecification analysis, based on the underspecified representation of the finite verb in the lexicon. The type hierarchy presented in Section 4 has been implemented by sorts in the CUF system. 1 German Sentence Structure and the Phenomenon of V2 In ....
D orre, J., Dorna, M. 1993 "CUF -- A Formalism for Linguistic Knowledge Representation. " in: D orre, J. (ed): Computational Aspects of Constraint-Based Linguistic Description I. ESPRIT Basic Research Action BR-6852 (DYANA-2), Deliverable R1.2.A.
Guarded Constraints in Natural Language - Kathryn Baker July (Correct)
No context found.
D ORRE, JOCHEN, & MICHAEL DORNA. 1993. CUF -- a formalism for linguistic knowledge representation. ESPRIT Basic Research Action 3175, ESPRIT, Institut fur maschinelle Sprachverarbeitung, Universitat Stuttgart.
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