Dominance constraints in context unification

DOI10.1007/3-540-45738-0_12MaRDI QIDQ2762878zbMATH OpenFDO

Authors Joachim Niehren, Alexander Koller

Publication date 13 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2014/20140199

zbMATH Keywords

Computational linguisticscomputational logicstree descriptionsunderspecificationunification theory

Mathematics Subject Classification ID

Natural language processing (68T50)

Review text

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 description languages are related. In this paper, we show for a first time that dominance constraints can be expressed in context unification. We also prove that dominance constraints extended with parallelism constraints are equal in expressive power to context unification. For the entire collection see [Zbl 0967.00057].

Recommendations

• Parallelism constraints
• scientific article; zbMATH DE number 1980934
• Dominance constraints: algorithms and complexity
• Dominance constraints with set operators
• Dominance constraints with Boolean connectives: A model-eliminative treatment

Cited in

(5)

• On rewrite constraints and context unification
• Dominance constraints with Boolean connectives: A model-eliminative treatment
• Parallelism constraints
• scientific article; zbMATH DE number 1980934 (Why is no real title available?)
• Dominance constraints in stratified context unification

Describes a project that uses

Uses Software

• Oz

This page was built for publication: Dominance constraints in context unification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2762878)