DE eng

Search in the Catalogues and Directories

Hits 1 – 6 of 6

1
Dominance Constraints: Algorithms and Complexity
In: ftp://ftp.lri.fr/LRI/articles/treinen/lacl-short.ps.gz (1998)
Abstract: Dominance constraints for finite tree structures are widely used in several areas of computational linguistics including syntax, semantics, and discourse. In this paper, we investigate algorithmic and complexity questions for dominance constraints and their first-order theory. We present two NP algorithms for solving dominance constraints, which have been implemented in the concurrent constraint programming language Oz. The main result of this paper is that the satisfiability problem of dominance constraints is NP-complete. Despite this intractability result, the more sophisticated of our algorithms performs well in an application to scope underspecification. We also show that the existential fragment of the first-order theory of dominance constraints is NP-complete and that the full first-order theory has non-elementary complexity. Keywords. Constraints, complexity, computational linguistics, underspecification. Introduction. Dominance constraints for finite tree structures are wide.
Keyword: complexity; computational linguistics
URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.9545
BASE
Hide details
2
Dominance Constraints: Algorithms and Complexity
In: http://www.coli.uni-sb.de/~koller/papers/domnp-lang.ps.gz (1998)
BASE
Show details
3
Dominance Constraints: Algorithms and Complexity
In: http://www.coli.uni-sb.de/~koller/papers/domnp.ps.gz (1998)
BASE
Show details
4
Dominance Constraints: Algorithms and Complexity
In: http://www.coli.uni-sb.de/sfb/psfiles/KollerNiehrenTreinen1998.ps.gz (1998)
BASE
Show details
5
Dominance Constraints: Algorithms and Complexity
In: http://www.ps.uni-sb.de/Papers/abstracts/DominanceNP98-abs.ps (1998)
BASE
Show details
6
Dominance Constraints: Algorithms and Complexity
In: http://www.ps.uni-sb.de/Papers/abstracts/DominanceNP98.ps (1998)
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
6
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern