(Enter summary)
Abstract: In what sense is a grammar the union of its
rules? This paper adapts the notion of composition,
well developed in the context of programming
languages, to the domain of linguistic
formalisms. We study alternative definitions
for the semantics of such formalisms, suggesting
a denotational semantics that we show to
be compositional and fully-abstract. This facilitates
a clear, mathematically sound way for
defining grammar modularity.
1 Introduction
Developing large scale grammars for natural... (Update)
Context of citations to this paper: More
.... Shuly Wintner Institute for Research in Cognitive Science University of Pennsylvania 3401 Walnut St. Suite 400A Philadelphia, PA 19018 shuly linc.cis.upenn.edu Abstract Given two context free grammars (CFGs) G 1 and G 2 , the language generated by the union of the grammars is...
...grammars are defined over a given signature, it is more realistic to assume separate, interacting signatures. We hope to be able to explore these directions in the future. This paper is an extended version of Wintner (1999). I am grateful to Nissim Francez for commenting on an...
Cited by: More
Modular HPSG - Keselj (2001)
(Correct)
Compositional Semantics for Unification-based Linguistic Formalisms - Wintner
(Correct)
Modularized Context-Free Grammars - Shuly Wintner (1999)
(Correct)
Similar documents (at the sentence level):
33.3%: Compositional Semantics for Linguistic Formalisms - Shuly Wintrier Institute (1999)
(Correct)
Active bibliography (related documents): More All
0.5: Timed Default Concurrent Constraint Programming - Saraswat, Jagadeesan, Gupta (1996)
(Correct)
0.3: The Algebraic Structure of Attributed Type Signatures - Penn (2000)
(Correct)
0.1: A Semantics for Modular General Logic Programs - Etalle (1998)
(Correct)
Similar documents based on text: More All
0.3: An Indexing Scheme for Typed Feature Structures - Ninomiya, MAKINO, TSUJII (2002)
(Correct)
0.3: A Treatment of Negative Descriptions of Typed Feature Structures - Kogure
(Correct)
0.2: Formal Language Theory for Natural Language Processing - Shuly Wintner Computer (2002)
(Correct)
Related documents from co-citation: More All
2: Modularized context-free grammars
- Wintner - 1999
2: Syntactic theory: a formal introduction (context) - Ivan, Thomas - 1998
2: Automatic extraction of stochastic lexicalized tree grammars from treebanks
- Neumann - 1998
BibTeX entry: (Update)
Shuly Wintner. 1999. Compositional semantics for linguistic formalisms. In Proceedings of ACL'99, the 37th Annual Meeting of the Association for Computational Linguistics, June. http://citeseer.ist.psu.edu/wintner99compositional.html More
@misc{ wintner99compositional,
author = "S. Wintner",
title = "Compositional semantics for linguistic formalisms",
text = "Shuly Wintner. 1999. Compositional semantics for linguistic formalisms.
In Proceedings of ACL'99, the 37th Annual Meeting of the Association for
Computational Linguistics, June.",
year = "1999",
url = "citeseer.ist.psu.edu/wintner99compositional.html" }
Citations (may not include all citations):
248
The semantics of predicate logic as a programming language (context) - Van Emden, Kowalski - 1976 ACM DBLP
207
The Logic of Typed Feature Structures
- Carpenter - 1992 ACM
61
Equivalences of logic programs (context) - Maher - 1988 ACM DBLP
56
Modularity in logic programming
- Bugliesi, Lamma et al. - 1994 ACM DBLP
43
Principles and implementation of deductive parsing
- Shieber, Schabes et al. - 1995 DBLP
40
Constraint-Based Grammar Formalisms (context) - Shieber - 1992 ACM
32
Parsing Schemata (context) - Sikkel - 1997 ACM
30
Closures and fairness in the semantics of programming logic (context) - Lassez, Maher - 1984 DBLP
23
Compositional model-theoretic semantics for logic programs (context) - Brogi, Lamma et al. - 1992 DBLP
12
Foundations of Deductive Databases and Logic Programming (context) - Minker - 1988 ACM DBLP
3
Offline parsability and the well-foundedness of subsumption
- Wintner, Francez - 1999
2
Logic Programming -- Proceedings of the 1991 International S.. (context) - Saraswat, Kazunori - 1991
1
Typed feature structures: A generalization of first-order te.. (context) - Logic, -- et al. - 1991 DBLP
Documents on the same site (http://www.cis.upenn.edu/~shuly/publications/): More
Off-line Parsability and the Well-foundedness of Subsumption - Shuly Wintner (1999)
(Correct)
AMALIA - A Unified Platform for Parsing and Generation - Wintner, Gabrilovich, Francez (1997)
(Correct)
Efficient Implementation of Unification-Based Grammars - Wintner, Francez (1999)
(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