Login: A logic programming language with built-in inheritance
Journal of Logic Programming
Feature structures: a logical theory with application to language analysis
Feature structures: a logical theory with application to language analysis
Inheritance hierarchies: Semantics and unification
Journal of Symbolic Computation
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 unification method for disjunctive feature descriptions
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
Categorial unification grammars
COLING '86 Proceedings of the 11th coference on Computational linguistics
A lexical functional grammar system in PROLOG
COLING '86 Proceedings of the 11th coference on Computational linguistics
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
Performing integrated syntactic and semantic parsing using classification
HLT '90 Proceedings of the workshop on Speech and Natural Language
Systemic classification and its efficiency
Computational Linguistics
Computational Linguistics
Review of "The logic of typed feature structures" by Bob Carpenter. Cambridge University Press 1992.
Computational Linguistics
Computing with features as formulae
Computational Linguistics
On building a more efficient grammar by exploiting types
Natural Language Engineering
Efficient generation of random sentences
Natural Language Engineering
Horn extended feature structures: fast unification with negation and limited disjunction
EACL '91 Proceedings of the fifth conference on European chapter of the 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
Constraint projection: an efficient treatment of disjunctive feature descriptions
ACL '91 Proceedings of the 29th annual meeting on Association for Computational Linguistics
Defaults in unification grammar
ACL '90 Proceedings of the 28th annual meeting on Association for Computational Linguistics
Efficient disjunctive unification for bottom-up parsing
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
An algorithm for functional uncertainty
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 1
On the satisfiability of complex constraints
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
Unifying disjunctive feature structures
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 4
Feature logic with disjunctive unification
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 2
Optimal ambiguity packing in context-free parsers with interleaved unification
New developments in parsing technology
Incremental speech translation
Incremental speech translation
Hi-index | 0.02 |
The paper describes a new implementation of feature structures containing disjunctive values, which can be characterized by the following main points: Local representation of embedded disjunctions, avoidance of expansion to disjunctive normal form and of repeated test-unifications for checking consistence. The method is based on a modification of Kasper and Rounds' calculus of feature descriptions and its correctness therefore is easy to see. It can handle cyclic structures and has been incorporated successfully into an environment for grammar development.