Joachim Niehren, Alexander Koller  Home/Search
Context Related
| coli.unisb.de/~koller/pa...domcu.ps.gz Cached: PS.gz PS PDF 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.
Image Update HelpPS.gz PS PDF From: coli.unisb.de/~koller/pa...domcu (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. Recently, dominance constraints and context unification have both been used in different underspecified approaches to the semantics of scope, parallelism, and their interaction. This raises the question whether both... (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):
13.8%: Dominance Constraints in Context Unification - Niehren, Koller (1998) (Correct)
Active bibliography (related documents): More All
0.5: Relaxing Underspecified Semantic Representations for.. - Koller, Niehren.. (1999) (Correct)
0.3: A Decision Algorithm for Stratified Context Unification - Schmidt-Schauß (1999) (Correct)
0.3: Evaluating Context Unification for Semantic Underspecification - Koller (1998) (Correct)
Similar documents based on text: More All
1.2: Dominance Constraints: Algorithms and Complexity - Koller, Niehren, Treinen (1998) (Correct)
1.2: An Efficient Algorithm for the Configuration.. - Althaus, Duchier, .. (Correct)
1.1: On Equality Up-to Constraints over Finite Trees, Context .. - Niehren, Pinkal.. (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/article/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/article/niehren98dominance.html" }
Citations (may not include all citations):271 The Oz programming model - Smolka - 1995
134 Unification theory - Baader, Siekmann - 1993
111 Solving Systems of Set Constraints (context) - Aiken, Wimmers - 1992
105 The problem of solvability of equations in a free semigroup (context) - Makanin - 1977
94 Equations and inequations on finite and infinite trees (context) - Colmerauer - 1984
93 Feature constraint logics for unification grammars - Smolka - 1992
87 Dealing with ambiguities by underspecification: construction (context) - Reyle - 1993
87 An efficient unification algorithm (context) - Martelli, Montanari - 1982
82 A decision procedure for a class of set constraints - Heintze, Jaffar - 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
54 Using descriptions of trees in a tree adjoining grammar (context) - Vijay-Shanker - 1992
36 Constraints over lambda-structures in semantic underspecific.. - 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
23 On equality up-to constraints over finite trees (context) - Niehren, Pinkal et al. - 1997
22 Dominance constraints: Algorithms and complexity - Koller, Niehren et al. - 1998
19 the exponent of periodicity of minimal solutions of context .. (context) - Schmidt-Schau, Schulz - 1998
19 Unification of stratified second-order terms (context) - Schmidt-Schau - 1994
18 A uniform approach to underspecification and parallelism - Niehren, Pinkal et al. - 1997
17 A complete and recursive feature theory - Backofen, Smolka - 1995
15 Word unification and transformation of generalized equations - Schulz - 1993
12 Solvability of context equations with two context variables .. - Schmidt-Schau, Schulz - 1999
12 Semantic Ambiguity and Underspecification (context) - van Deemter, Peters - 1996
11 Decidability of second-order theories and automata on infini.. (context) - Rabin - 1969
11 Linear second order unification (context) - L'evy - 1996
6 Sequential construction of logical forms (context) - Meyer-Viol, Kempson - 1998
4 Underspecified semantics - Muskens - 1998
4 The RTA list of open problems (context) - context - 1998
3 Freely available at www (context) - Consortium, Saarlandes et al. - 1999
3 Constraint languages for semantic underspecification (context) - Koller - 1999
2 Generalized definite set constraints (context) - Talbot, Devienne et al. - 2000
1 A unification algorithm for distributivity and a multiplicat.. (context) - Schmidt-Schau - 1997
1 Universitat des Saarlandes (context) - Niehren, Treinen et al. - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.coli.uni-sb.de/~koller/papers/domcu.html):
Dominance Constraints in Context Unification - Niehren, Koller (1998) (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