A uniform approach to underspecification and parallelism

Authors:
Joachim Niehren;Manfred Pinkal;Peter Ruhrberg
Affiliations:
Universität des Saarlandes, Saarbrücken, Germany;Universität des Saarlandes, Saarbrücken, Germany;Universität des Saarlandes, Saarbrücken, Germany
Venue:
ACL '98 Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and Eighth Conference of the European Chapter of the Association for Computational Linguistics
Year:
1997

Citing 7
Cited 13

Unification theory

Handbook of logic in artificial intelligence and logic programming
Completion of Rewrite Systems with Membership Constraints

ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Corrections and Higher-Order Unification

Natural Language Processing and Speech Technology, Results of the 3rd KONVENS Conference
Linear Second-Order Unification

RTA '96 Proceedings of the 7th International Conference on Rewriting Techniques and Applications
On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting

CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Monotonic semantic interpretation

ACL '92 Proceedings of the 30th annual meeting on Association for Computational Linguistics
Compositional semantics in Verbmobil

COLING '96 Proceedings of the 16th conference on Computational linguistics - Volume 1

Editorial

Journal of Logic, Language and Information
The Constraint Language for Lambda Structures

Journal of Logic, Language and Information
Dominance Constraints in Context Unification

LACL '98 Selected papers from the Third International Conference, on Logical Aspects of Computational Linguistics
Context Unification and Traversal Equations

RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Stratified Context Unification Is in PSPACE

CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Constraints over Lambda-Structures in semantic underspecification

COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 1
Unifying parallels

ACL '99 Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics
On the relation between Context and Sequence Unification

Journal of Symbolic Computation
Context unification with one context variable

Journal of Symbolic Computation
Sequence unification through currying

RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Unification and matching on compressed terms

ACM Transactions on Computational Logic (TOCL)
Stratified context unification is NP-complete

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Well-nested context unification

CADE' 20 Proceedings of the 20th international conference on Automated Deduction

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a unified framework in which to treat semantic underspecification and parallelism phenomena in discourse. The framework employs a constraint language that can express equality and subtree relations between finite trees. In addition, our constraint language can express the equality up-to relation over trees which captures parallelism between them. The constraints are solved by context unification. We demonstrate the use of our framework at the examples of quantifier scope, ellipsis, and their interaction.