| Alternate document: Details Dominance Constraints: Algorithms and Complexity (98) Alexander Koller, Joachim Niehren, Ralf Treinen |
Joachim Niehren, Alexander Koller  Home/Search
Context Related
| ps.unisb.de/Papers/a...Dominance98.ps Cached: PS.gz PS This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PDF Image Update HelpPS.gz PS From: ps.unisb.de/Papers/abstracts/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Tree descriptions based on dominance constraints are popular in several areas of computational linguistics including syntax, semantics, and discourse. Tree descriptions in the language of context unification have attracted some interest in unification and rewriting theory. (Update)
Context of citations to this paper: More
...reasonably well in a recent application to underspecified natural language semantics. 1 Introduction Parallelism constraints [7, 17] are logical descriptions of trees. They are equal in expressive power to context unification [4] a variant of linear second order...
...in lambda terms correctly. Parallelism constraints of CLLS alone have the same expressive power as equations of context unification (CU) [16], i.e. equations interpreted over the algebra of trees and contexts [4] CU is closely related to linear second order unification (LSOU)...
Cited by: More
Processing Underspecified Semantic Representations in the.. - Erk, Koller (2002) (Correct)
Describing Lambda Terms in Context Unification - Niehren, Villaret (Correct)
Parallelism Constraints - Erk, Niehren (2000) (Correct)
Similar documents (at the sentence level):
28.2%: Dominance Constraints in Context Unification - Niehren, Koller (1998) (Correct)
Active bibliography (related documents): More All
1.3: Decidability of Bounded Higher-Order Unification - Schmidt-Schauß, Schulz (2002) (Correct)
0.9: On Rewrite Constraints and Context Unification - Niehren, Tison, Treinen (1999) (Correct)
0.8: Dominance Constraints: Algorithms and Complexity - Koller, Niehren, Treinen (1998) (Correct)
Similar documents based on text: More All
1.3: Scope Underspecification and Processing - Koller, Niehren (Correct)
1.3: The Constraint Language for Lambda Structures - Egg, Koller, Niehren (2000) (Correct)
1.0: An Efficient Algorithm for the Configuration.. - Althaus, Duchier, .. (Correct)
Related documents from co-citation: More All
5: Radical underspecification (context) - Pinkal - 1996
5: A uniform approach to underspecification and parallelism - Niehren, Pinkal et al. - 1997
5: Dealing with ambiguities by underspecification: construction (context) - Reyle - 1993
BibTeX entry: (Update)
Joachim Niehren and Alexander Koller. Dominance constraints in context unification. Submitted. http://www.ps.uni-sb.de/ Papers/abstracts/Dominance.html. http://citeseer.ist.psu.edu/niehren98dominance.html More
@article{ niehren01dominance,
author = "Joachim Niehren and Alexander Koller",
title = "Dominance Constraints in Context Unification",
journal = "Lecture Notes in Computer Science",
volume = "2014",
pages = "199+",
year = "2001",
url = "citeseer.ist.psu.edu/niehren98dominance.html" }
Citations (may not include all citations):271 The Oz programming model - Smolka - 1995
111 Solving Systems of Set Constraints (context) - Aiken, Wimmers - 1992
105 The problem of solvability of equations in a free semigroup (context) - Makanin - 1977
82 A decision procedure for a class of set constraints - Heintze, Ja - 1990
79 A logical semantics for feature structures - Kasper, Rounds - 1986
75 Completion of rewrite systems with membership constraints - Comon - 1992
65 Predicate logic unplugged - Bos - 1996
56 theory: Talking about talking about trees (context) - Marcus, Hindle et al. - 1983
38 Uni cation theory - Baader, Siekmann - 1993
36 Constraints over lambda-structures in semantic underspeci ca.. - Egg, Niehren et al. - 1998
32 Talking about trees - Blackburn, Gardent et al. - 1993
31 Decidability of the purely existential fragment of the theor.. (context) - Venkataraman - 1987
27 Describing discourse semantics - Gardent, Webber - 1998
23 A constraint-based treatment of descriptions - Duchier, Gardent - 1999
22 Dominance constraints: Algorithms and complexity - Koller, Niehren et al. - 1998
21 Dealing with ambiguities by underspeci cation: construction (context) - Reyle - 1993
19 the exponent of periodicity of minimal solutions of context .. (context) - Schmidt-Schau, Schulz - 1998
17 A complete and recursive feature theory - Backofen, Smolka - 1995
12 Solvability of context equations with two context variables .. - Schmidt-Schau, Schulz - 1999
11 Using descriptions of trees in a tree adjoining grammar (context) - Vijay-Shanker - 1992
11 An ecient uni cation algorithm (context) - Martelli, Montanari - 1982
11 Decidability of second-order theories and automata on in nit.. (context) - Rabin - 1969
10 Linear second order uni cation - evy - 1996
9 A uniform approach to underspeci cation and parallelism (context) - Niehren, Pinkal et al. - 1997
8 On equality up-to constraints over nite trees (context) - Niehren, Pinkal et al. - 1997
8 Feature constraint logics for uni cation grammars (context) - Smolka - 1992
7 Underspeci ed semantics - Muskens - 1998
6 Sequential construction of logical forms (context) - Meyer-Viol, Kempson - 1998
6 Ordering constraints over feature trees expressed in second-.. (context) - uller, Niehren - 1998
5 Word uni cation and transformation of generalized equations (context) - Schulz - 1993
5 Uni cation of strati ed second-order terms (context) - Schmidt-Schau - 1994
4 Equations and inequations on nite and in nite trees (context) - Colmerauer - 1984
4 Constraint languages for semantic underspeci cation (context) - Koller - 1999
4 The RTA list of open problems (context) - context, cation - 1998
3 A uni cation algorithm for distributivity and a multiplicati.. (context) - Schmidt-Schau - 1997
3 Freely available at www (context) - Consortium, at et al. - 1999
3 Semantic Ambiguity and Underspeci cation (context) - van Deemter, Peters - 1996
2 On rewrite constraints and context uni cation (context) - Niehren, Treinen et al. - 1999
2 Generalized definite set constraints (context) - Talbot, Devienne et al. - 2000
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ps.uni-sb.de/Papers/abstracts/): More
Set-Based Failure Analysis for Logic Programs and.. - Podelski, Charatonik, .. (1999) (Correct)
Type Inference for First-Class Messages with Feature Constraints - Müller, Nishimura (Correct)
Entailment of Non-Structural Subtype Constraints - Niehren, Priesnitz (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC