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
Unification of disjunctive feature descriptions
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
Using descriptions of trees in a tree adjoining grammar
Computational Linguistics
Computational Linguistics
Computing with features as formulae
Computational Linguistics
Translation by structural correspondences
EACL '89 Proceedings of the fourth conference on European chapter of the Association for Computational Linguistics
The logical structure of binding
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 1
ACL '93 Proceedings of the 31st annual meeting on Association for Computational Linguistics
On the decidability of functional uncertainty
ACL '93 Proceedings of the 31st annual meeting on Association for Computational Linguistics
ACL '89 Proceedings of the 27th annual meeting on Association for Computational Linguistics
Binding constraints as instructions of binding machines
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 1
Unbounded dependency: tying strings to rings
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
Constituent coordination in Lexical-Functional Grammar
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 1
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
Discourse processing in MT: problems in pronominal translation
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 1
Information-based Case Grammar
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 2
Modeling syntactic constraints on anaphoric binding
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 2
A relational syntax-semantics interface based on dependency grammar
COLING '04 Proceedings of the 20th international conference on Computational Linguistics
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Lfg generation by grammar specialization
Computational Linguistics
Hi-index | 0.00 |
The formal device of functional uncertainty has been introduced into linguistic theory as a means of characterizing long-distance dependencies alternative to conventional phrase-structure based approaches. In this paper we briefly outline the uncertainty concept, and then present an algorithm for determining the satisfiability of acyclic grammatical descriptions containing uncertainty expressions and for synthesizing the grammatically relevant solutions to those descriptions.