Joshua S. Hodas  Home/Search
Context
Related
| hmc.edu/~hodas/papers/lacl97.ps 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: hmc.edu/~hodas/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . A number of researchers have proposed applications of Girard 's Linear Logic [7] to computational linguistics. Most have focused primarily on the connection between linear logic and categorial grammars. In this work we show how linear logic can be used to provide an attractive encoding of phrase structure grammars for parsing structures involving unbounded dependencies. The resulting grammars are closely related to Generalized Phrase Structure Grammars [4, 5]. As part of the... (Update)
Similar documents (at the sentence level):
6.2%: Specifying Filler-Gap Dependency Parsers in a Linear-Logic.. - Joshua Hodas (1992) (Correct)
Active bibliography (related documents): More All
0.5: Clausal Proofs and Discontinuity - Morrill (1995) (Correct)
0.4: Linear Logic for Meaning Assembly - Dalrymple, Lamping, Pereira.. (2002) (Correct)
0.3: Relational Interpretation and Geometrical Form - Morrill (Correct)
Similar documents based on text: More All
0.5: Computational Complexity of Current GPSG Theory - Ristad (1986) (Correct)
0.4: Defining Natural Language Grammars in GPSG - Ristad (Correct)
0.3: er scoping, bound anaphora and their interactions with.. - Lfg Second Week (2000) (Correct)
BibTeX entry: (Update)
@article{ hodas99linear,
author = "Joshua S. Hodas",
title = "A linear logic treatment of phrase structure grammars for unbounded dependencies",
journal = "Lecture Notes in Computer Science",
volume = "1582",
pages = "160--??",
year = "1999",
url = "citeseer.ist.psu.edu/hodas97linear.html" }
Citations (may not include all citations):359 Introduction to Higher Order Categorical Logic (context) - Lambek, Scott - 1986
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1994
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1991
248 The mathematics of sentence structure (context) - Lambek - 1958
242 Generalized Phrase Structure Grammar (context) - Gazdar, Klein et al. - 1985
215 Theoretical Computer Science (context) - Girard - 1987
96 Decision problems for propositional linear logic - Lincoln, Mitchell et al. - 1990
63 Logic Programming in Intuitionistic Linear Logic: Theory (context) - Hodas - 1994
57 An introduction to tree adjoining grammars (context) - Joshi - 1986
53 Prolog and Natural-Language Analysis (context) - Pereira, Shieber - 1987
46 Resource Logics: Proof-Theoretical Investigations (context) - Roorda - 1991
35 Tree adjoining grammars: How much context-sensitivity is req.. (context) - Joshi - 1983
33 Combinators and grammars (context) - Steedman - 1988
28 Specifying filler-gap dependency parsers in a linear-logic p.. - Hodas - 1992
26 Extending definite clause grammars with scoping constructs (context) - Pareschi, Miller - 1990
24 Unbounded dependencies and coordinate structure (context) - Gazdar - 1981
14 Linear logic for meaning assembly - Dalrymple, Lamping et al. - 1995
13 and Vijay Saraswat (context) - Dalrymple, Lamping et al. - 1997
11 Phrase structure grammar (context) - Gazdar - 1982
9 Massachusetts Institute of Technology (context) - Ross, Variables et al. - 1967
6 Type-driven Natural Language Analysis (context) - Pareschi - 1989
3 Resource-sensitivity in lexical-functional grammar (context) - Johnson - 1996
3 Unambiguous proof representations for the lambek calculus (context) - Moortgat - 1991
2 Clausal proof nets and discontinuity - Morrill - 1994
1 Center for the Study of Language and Information (context) - Dalrymple, Lamping et al. - 1996
1 Forms of labeled categorial type deduction (context) - Oehrle - 1994
1 Bulletin of the Interest Group in Pure and Applied Logics (context) - Hepple, logics - 1995
1 The expressive power of initial fragments of linear logic (context) - Kanovich - 1993
Documents on the same site (http://www.cs.hmc.edu/~hodas/papers/): More
Logic Programming in a Fragment of Intuitionistic Linear Logic - Hodas, Miller (1994) (Correct)
Representing Objects in a Logic Programming Language with.. - Hodas, Miller (1990) (Correct)
Lolli: An Extension of Lambda-Prolog with Linear Logic Context.. - Hodas (1992) (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