%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:43:14 +0100 GMT
%    
% Selection : Reference #421
%




@InProceedings{Duchier_Niehren:2000,
      AUTHOR = {Duchier, Denys and Niehren, Joachim},
      TITLE = {Dominance Constraints with Set Operators},
      YEAR = {2000},
      BOOKTITLE = {1st International Conference on Computational Logic (CL '00), July 24-28},
      NUMBER = {1861},
      PAGES = {326-341},
      EDITOR = {Lloyd, J. and Dahl, V.},
      SERIES = {Lecture Notes in Computer Science},
      ADDRESS = {Imperial College, London, UK},
      PUBLISHER = {Springer},
      URL = {ftp://ftp.ps.uni-sb.de/pub/papers/ProgrammingSysLab/dombool.ps.gz},
      ABSTRACT = {Dominance constraints are widely used in computational linguistics as a language for talking and reasoning about trees. In this paper, we extend dominance constraints by admitting set operators. Set operators contribute a controlled form of disjunction that is emminently well-suited for constraint propagation. We present a solver for dominance constraints with set operators as a system of abstract propagation and distribution rules, and prove its soundness and completeness. We then derive an efficient implementation in a constraint programming language with finite sets and prove its faithfullness to the abstract inference rules.},
      ANNOTE = {COLIURL : Duchier:2000:DCS.pdf Duchier:2000:DCS.ps}
}