Transition network grammars for natural language analysis
Communications of the ACM
Understanding Natural Language
Understanding Natural Language
Domains for Denotational Semantics
Proceedings of the 9th Colloquium on Automata, Languages and Programming
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
The semantics of grammar formalisms seen as computer languages
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
DIALOGIC: a core natural-language processing system
COLING '82 Proceedings of the 9th conference on Computational linguistics - Volume 1
An efficient augmented-context-free parsing algorithm
Computational Linguistics
A logic for partially specified data structures
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Large lexicons for natural language processing: utilising the grammar coding system of LDOCE
Computational Linguistics - Special issue of the lexicon
Computational Linguistics
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
An interpretation of negation in feature structure descriptions
Computational Linguistics
Performing integrated syntactic and semantic parsing using classification
HLT '90 Proceedings of the workshop on Speech and Natural Language
Unification encodings of grammatical notations
Computational Linguistics
Generalized probabilistic LR parsing of natural language (Corpora) with unification-based grammars
Computational Linguistics - Special issue on using large corpora: I
Review of "The logic of typed feature structures" by Bob Carpenter. Cambridge University Press 1992.
Computational Linguistics
A rich environment for experimentation with unification grammars
EACL '89 Proceedings of the fourth conference on European chapter of the Association for Computational Linguistics
Situation semantics and machine translation
EACL '89 Proceedings of the fourth conference on European chapter of the Association for Computational Linguistics
Towards a dictionary support environment for real time parsing
EACL '85 Proceedings of the second conference on European chapter of the Association for Computational Linguistics
A tractable extension of Linear Indexed Grammars
EACL '95 Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics
TINLAP '87 Proceedings of the 1987 workshop on Theoretical issues in natural language processing
The semantics of grammar formalisms seen as computer languages
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
Translating a unification grammar with disjunctions into logical constraints
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 2
A logical semantics for feature structures
ACL '86 Proceedings of the 24th annual meeting on Association for Computational Linguistics
Predictive combinators: a method for efficient processing of combinatory Categorial Grammars
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
A unification method for disjunctive feature descriptions
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
Some chart-based techniques for parsing ill-formed input
ACL '89 Proceedings of the 27th annual meeting on Association for Computational Linguistics
The structure of shared forests in ambiguous parsing
ACL '89 Proceedings of the 27th annual meeting on Association for Computational Linguistics
Atomization in grammar sharing
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
Conditional descriptions in Functional Unification Grammar
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
An Earley-type parsing algorithm for Tree Adjoining Grammars
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
Conditioned unification for natural language processing
COLING '86 Proceedings of the 11th coference on Computational linguistics
A simple reconstruction of GPSG
COLING '86 Proceedings of the 11th coference on Computational linguistics
COLING '86 Proceedings of the 11th coference on Computational linguistics
Software support for practical grammar development
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 1
An experimental parser for systemic grammars
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 1
Parsing strategies with 'lexicalized' grammars: application to tree adjoining grammars
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 2
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
The generalized LR parser/compiler V8-4: a software package for practical NL projects
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 1
A linguistic theory of robustness
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 2
Constraint-Based Approach to Semistructured Data
Fundamenta Informaticae - Intelligent Systems
A formalism and environment for the development of a large grammar of English
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Toward the formal verification of a unification system
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Toward the formal verification of a unification system
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics - Special issue on cybernetics and cognitive informatics
Unification-based grammars and tabular parsing for graphical languages
Journal of Visual Languages and Computing
Incremental speech translation
Incremental speech translation
Visual grammars for visual languages
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Visual grammars for visual languages
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Agreement constraints for statistical machine translation into German
WMT '11 Proceedings of the Sixth Workshop on Statistical Machine Translation
CSLP'04 Proceedings of the First international conference on Constraint Solving and Language Processing
Constraint-Based Approach to Semistructured Data
Fundamenta Informaticae - Intelligent Systems
| Hi-index | 0.00 |
A considerable body of accumulated knowledge about the design of languages for communicating information to computers has been derived from the subfields of programming language design and semantics. It has been the goal of the PATR group at SRI to utilize a relevant portion of this knowledge in implementing tools to facilitate communication of linguistic information to computers. The PATR-II formalism is our current computer language for encoding linguistic information. This paper, a brief overview of that formalism, attempts to explicate our design decisions in terms of a set of properties that effective computer languages should incorporate.