Joshua S. Hodas Department of Computer and Information Science University of...  Home/Search
Context Related
Links: DBLP | hmc.edu/~hodas/papers/jicslp92.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: An aspect of the Generalized Phrase Structure Grammar formalism proposed by Gazdar, et al. is the introduction of the notion of "slashed categories " to handle the parsing of structures, such as relative clauses, which involve unbounded dependencies. This has been implemented in Definite Clause Grammars through the technique of gap threading, in which a difference list of extracted noun phrases (gaps) is maintained. However, this technique is cumbersome, and can result in subtle soundness... (Update)
Context of citations to this paper: More
...constraint as that some rule must be used exactly once. There are proposals for using linear logic programming for solving this problem [13, 6]. We believe that our method of handling logical connectives at the grammar rule level applies to the linear connectives too. Note that...
.... on earlier work by Pareschi and Miller [24, 25] Some of this work has been described previously in the proceedings of the 1992 JICSLP [9], and in the author s dissertation [10] The outline of this paper is as follows: In Section 2 we will review the basic principals of...
Cited by: More
Relating Natural Deduction and Sequent Calculus for.. - Polakow, Pfenning (1999) (Correct)
A Static Analysis of a Classical Linear Logic Programming Language - Kang (Correct)
Linear Logic and Computation: A Survey - Scedrov (1993) (Correct)
Similar documents (at the sentence level):
7.1%: A Linear Logic Treatment of Phrase Structure Grammars for . . . - Hodas (1997) (Correct)
Active bibliography (related documents): More All
0.1: Satisfying Constraints on Extraction and Adjunction - Bouma, Malouf, Sag (1997) (Correct)
0.1: Categorial Grammars, Lexical Rules and the English Predicative - Carpenter (1995) (Correct)
0.1: The X-Bar Theory Of Phrase Structure - Kornai, Pullum (1990) (Correct)
Similar documents based on text: More All
0.4: Computational Complexity of Current GPSG Theory - Ristad (1986) (Correct)
0.2: Category Structures - Gerald Gazdar Cognitive (1988) (Correct)
0.1: Logic Programming in a Fragment of Intuitionistic Linear Logic - Hodas, Miller (1994) (Correct)
Related documents from co-citation: More All
21: Logic programming in a fragment of intuitionistic linear logic - Hodas, Miller - 1994
14: Theoretical Computer Science (context) - Girard - 1987
13: Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
BibTeX entry: (Update)
Joshua S. Hodas. Specifying filler-gap dependency parsers in a linear-logic programming language. In Krzysztof Apt, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 622--636, Washington, DC, 1992. http://citeseer.ist.psu.edu/hodas92specifying.html More
@inproceedings{ hodas92specifying,
author = "Hodas, J. S.",
title = "Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language",
booktitle = "Proceedings of the Joint International Conference and Symposium on Logic Programming",
publisher = "The MIT Press",
address = "Washington, USA",
editor = "Apt",
isbn = "0-262-51064-2",
pages = "622-636",
year = "1992",
url = "citeseer.ist.psu.edu/hodas92specifying.html" }
Citations (may not include all citations):257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1992 ACM DBLP
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1991
242 Generalized Phrase Structure Grammar (context) - Gazdar, Klein et al. - 1985
215 Theoretical Computer Science (context) - Girard - 1987 ACM
166 An Overview of Prolog (context) - Nadathur, Miller - 1988
63 Logic Programming in Intuitionistic Linear Logic: Theory (context) - Hodas - 1993
53 Prolog and NaturalLanguage Analysis (context) - Pereira, Shieber - 1987
29 Lectures on Contemporary Syntactic Theories (context) - Sells - 1985
26 Extending definite clause grammars with scoping constructs (context) - Pareschi, Miller - 1990 ACM DBLP
24 Unbounded dependencies and coordinate structure (context) - Gazdar - 1981
11 Phrase Structure Grammar (context) - Gazdar - 1982
1 Private electronic mail correspondence (context) - Johnson - 1992
The graph only includes citing articles where the year of publication is known.
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