The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Introduction to Formal Language Theory
Introduction to Formal Language Theory
Domains for Denotational Semantics
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Natural Language Communication with Computers
Computational Linguistics
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
The design of a computer language for linguistic information
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
D-theory: talking about talking about trees
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
A flexible graph-unification formalism and its application to natural-language processing
IBM Journal of Research and Development
Computational Linguistics
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
IBM Journal of Research and Development
Language analysis in not-so-limited domains
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
On the mathematical properties of linguistic theories
Computational Linguistics - Special issue on mathematical properties of grammatical formalisms
Computational Linguistics
Review of "The logic of typed feature structures" by Bob Carpenter. Cambridge University Press 1992.
Computational Linguistics
Unification and some new grammatical formalisms
TINLAP '87 Proceedings of the 1987 workshop on Theoretical issues in natural language processing
Bidirectional grammars and the design of natural language generation systems
TINLAP '87 Proceedings of the 1987 workshop on Theoretical issues in natural language processing
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
The design of a computer language for linguistic information
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
A logical semantics for feature structures
ACL '86 Proceedings of the 24th annual meeting on Association for Computational Linguistics
A lazy way to chart-parse with Categorial Grammars
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
A structure-sharing representation for unification-based grammar formalisms
ACL '85 Proceedings of the 23rd annual meeting on Association for Computational Linguistics
Using restriction to extend parsing algorithms for complex-feature-based formalisms
ACL '85 Proceedings of the 23rd annual meeting on Association for Computational Linguistics
Unification with lazy non-redundant copying
ACL '91 Proceedings of the 29th annual meeting on Association for Computational Linguistics
Types in Functional Unification Grammars
ACL '90 Proceedings of the 28th annual meeting on Association for Computational Linguistics
Expressing disjunctive and negative feature constraints with classical first-order logic
ACL '90 Proceedings of the 28th annual meeting on Association for Computational Linguistics
A simple reconstruction of GPSG
COLING '86 Proceedings of the 11th coference on Computational linguistics
A concept of derivation for LFG
COLING '86 Proceedings of the 11th coference on Computational linguistics
Feature graphs and abstract data types: a unifying approach
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 1
Concretion: assumption-based understanding
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 1
Feature structures based Tree Adjoining Grammars
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 2
Compositional semantics for linguistic formalisms
ACL '99 Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics
Theoretical Computer Science
A context-free superset approximation of unification-based grammars
New developments in parsing technology
Incremental speech translation
Incremental speech translation
Relation extraction and scoring in DeepQA
IBM Journal of Research and Development
Hi-index | 0.00 |
The design, implementation, and use of grammar formalisms for natural language have constituted a major branch of computational linguistics throughout its development. By viewing grammar formalisms as just a special case of computer languages, we can take advantage of the machinery of denotational semantics to provide a precise specification of their meaning. Using Dana Scott's domain theory, we elucidate the nature of the feature systems used in augmented phrase-structure grammar formalisms, in particular those of recent versions of generalized phrase structure grammar, lexical functional grammar and PATR-II, and provide a denotational semantics for a simple grammar formalism. We find that the mathematical structures developed for this purpose contain an operation of feature generalization, not available in those grammar formalisms, that can be used to give a partial account of the effect of coordination on syntactic features.