Jochen Dörre . Esther König, Dov Gabbay  Home/Search
Context Related
| ims.unistuttgart....edsemantics.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ims.unistuttgart.de/proj...LGbib (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . This paper gives a simple method for providing categorial brands of feature-based unification grammars with a model-theoretic semantics. The key idea is to apply the paradigm of fibred semantics (or layered logics, see [15]) in order to combine the two components of a featurebased grammar logic. We demonstrate the method for the augmentation of Lambek categorial grammar with Kasper/Rounds-style feature logic. These are combined by replacing (or annotating) atomic formulas of the first logic,... (Update)
Similar documents based on text: More All
0.3: LexGram User's Manual - König, Schneider (1998) (Correct)
0.3: Parsing for Semidirectional Lambek Grammar is NP-Complete - Dörre (1996) (Correct)
0.3: Structured Contexts with Fibred Semantics - Dov Gabbay And (1997) (Correct)
Related documents from co-citation: More All
6: CUF - a formalism for linguistic knowledge representation - rre, Dorna - 1993
4: A xed-point semantics for feature type systems (context) - Emele, mi - 1990
4: Institut fur Maschinelle Sprachverarbeitung (context) - Konig
BibTeX entry: (Update)
Jochen D#rre, Dov M. Gabbay, and Esther K#nig. Fibred semantics for featurebased grammar logic. Journal of Logic, Language, and Information. Special Issue on Language and Proof Theory, 5:387422, 1996. http://citeseer.ist.psu.edu/rre94fibred.html More
@misc{ rre96fibred,
author = "J. rre and D. Gabbay and E. nig",
title = "Fibred semantics for featurebased grammar logic",
text = "Jochen D#rre, Dov M. Gabbay, and Esther K#nig. Fibred semantics for featurebased
grammar logic. Journal of Logic, Language, and Information. Special Issue
on Language and Proof Theory, 5:387422, 1996.",
year = "1996",
url = "citeseer.ist.psu.edu/rre94fibred.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
356 Computers and Intractability---A Guide to the Theory of NP-C.. (context) - Garey, Johnson - 1979
246 Lexical-Functional Grammar: A formal system for grammatical .. (context) - Kaplan, Bresnan - 1982
215 Theoretical Computer Science (context) - Girard - 1987
93 Feature constraint logics for unification grammars - Smolka - 1992
87 Dealing with ambiguities by underspecification: Construction (context) - Reyle - 1993
79 A logical semantics for feature structures - Kasper, Rounds - 1986
75 The formalism and implementation of PATR-II (context) - Shieber, Uszkoreit et al. - 1983
56 Adding a temporal dimension to a logic system - Finger, Gabbay - 1992
54 Using descriptions of trees in a Tree Adjoining Grammar (context) - Vijay-Shanker - 1992
49 Type Logical Grammar: Categorial Logic of Signs - Morrill - 1994
41 CUF - a formalism for linguistic knowledge representation - Dorre, Dorna - 1993
37 Journal of Symbolic Logic (context) - Yetter, noncommutative et al. - 1990
36 A modal perspective on the computational complexity of attri.. - Blackburn, Spaan - 1993
32 Talking about trees - Blackburn, Gardent et al. - 1993
31 On Subsumption and Semi-Unification in Feature Algebras (context) - Dorre, Rounds - 1992
27 Completeness results for Lambek syntactic calculus (context) - Buszkowski - 1986
25 Modal logic and attribute value structures - Blackburn - 1993
24 The semantics of grammar formalisms seen as computer languag.. - Pereira, Shieber - 1984
20 Definite relations over constraint languages (context) - Hohfeld, Smolka - 1988
20 A brief survey of frames for the Lambek calculus (context) - Dosen - 1990
12 Institut fur Maschinelle Sprachverarbeitung (context) - Konig, in et al. - 1994
11 Unification in grammar (context) - Kay - 1985
10 Language completeness of the Lambek calculus (context) - Pentus - 1994
9 Nonmonotonicity and Categorial Unification Grammar (context) - Bouma - 1993
5 A completeness theorem for the Lambek calculus of syntactic .. (context) - Dosen - 1985
5 Alqvist and Wiksell (context) - Prawitz - 1965
4 Generalized quantifiers and discontinuous type constructors (context) - Moortgat - 1992
4 Compatibility of a categorial grammar with an associated cat.. (context) - Buszkowski - 1982
3 Institut fur maschinelle Sprachverarbeitung (context) - Dorre, Semiunifikation - 1993
2 Bulletin of the Interest Group in Pure and Applied Logics (context) - Blackburn, Meyer-Viol et al. - 1994
2 Categorical Unification Grammar (context) - Uszkoreit - 1986
1 The structural approach to feature logic (context) - Blackburn - 1994
1 for language Journal of Logic, Language and Information - Sp.. (context) - Pereira, Warren et al. - 1980
1 modalities and algebraic semantics (context) - Versmissen - 1993
1 Lambek categorial grammars are context-free (context) - Konig - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ims.uni-stuttgart.de/projekte/cuf/LexGram/LGbib.html):
An implementation of Japanese Grammar based on HPSG - Fujinami (1996) (Correct)
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