Joachim Niehren, Alexander Koller  Home/Search
Context Related
| coli.unisb.de/~koll...domculang.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):
16.5%: Dominance Constraints in Context Unification - Niehren, Koller (1998) (Correct)
Active bibliography (related documents): More All
1.2: On Rewrite Constraints and Context Unification - Niehren, Tison, Treinen (1999) (Correct)
0.7: Dominance Constraints: Algorithms and Complexity - Niehren, Treinen (1998) (Correct)
0.7: Decidability of Bounded Higher-Order Unification - Schmidt-Schauß, Schulz (2002) (Correct)
Similar documents based on text: More All
1.5: The Constraint Language for Lambda Structures - Egg, Koller, Niehren (2000) (Correct)
1.4: Dominance Constraints with Set Operators - Duchier, Niehren (2000) (Correct)
1.4: Scope Underspecification and Processing - Koller, Niehren (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
241 Decidability of second-order theories and automata on innite.. (context) - Rabin - 1969
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
54 Using descriptions of trees in a tree adjoining grammar (context) - Vijay-Shanker - 1992
38 Unication theory - Baader, Siekmann - 1993
36 Constraints over lambda-structures in semantic underspecicat.. - 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 underspecication: 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 Equations and inequations on nite and innite trees (context) - Colmerauer - 1984
10 Linear second order unication - evy - 1996
9 A uniform approach to underspecication and parallelism (context) - Niehren, Pinkal et al. - 1997
8 Feature constraint logics for unication grammars (context) - Smolka - 1992
8 On equality up-to constraints over nite trees (context) - Niehren, Pinkal et al. - 1997
7 Underspecied 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 unication and transformation of generalized equations (context) - Schulz - 1993
5 Unication of stratied second-order terms (context) - Schmidt-Schau - 1994
4 Constraint languages for semantic underspecication (context) - Koller - 1999
3 Solvability of context equations with two context variables .. - Schmidt-Schau, Schulz - 1999
3 Freely available at www (context) - Consortium, at et al. - 1999
3 Semantic Ambiguity and Underspeci cation (context) - van Deemter, Peters - 1996
3 A unication algorithm for distributivity and a multiplicativ.. (context) - Schmidt-Schau - 1997
2 Generalized definite set constraints (context) - Talbot, Devienne et al. - 1999
1 cient unication algorithm (context) - Martelli, Montanari - 1982
1 The decidability of context unication (context) - evy, Villaret - 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