Labeling and partial local consistency for soft constraint programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1753, Issue , 2000, Pages 230-248

  Bistarelli, Stefano ^a   Codognet, Philippe ^b   Georget, Yan ^c   Rossi, Francesca ^d  

^a UNIVERSITY OF PISA   (Italy)

^b SORBONNE UNIVERSITÉ   (France)

^c INRIA ROCQUENCOURT   (France)

^d UNIVERSITY OF PADOVA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; PETROLEUM REFINING; COMPUTATIONAL LINGUISTICS;

APPROXIMATION TECHNIQUES; CONSTRAINT SATISFACTION; EFFICIENT IMPLEMENTATION; FUNDAMENTAL PROPERTIES; LOCAL CONSISTENCY; LOGIC-BASED LANGUAGES; PARTIAL ARCS; SOFT CONSTRAINT;

CONSTRAINT THEORY;

EID: 84948416791     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (16)

1. A. Aggoun and N. Beldiceanu. Overview of the CHIP Compiler System. Constraint Logic Programming: Selected Research, A. Colmerauer and F. Benhamou (Eds.). MIT Press, 1993.
2. Krysztof R. Apt. The essence of Constraint Propagation. CWI Quarterly vol.11 (2 & 3), pp. 215-248, 1998.
3. C. Bessière. Arc-consistency and Arc-consistency again. Arti_cial Intelligence, 65(1), 1994.
4. S. Bistarelli, U. Montanari and F. Rossi. Constraint Solving over Semirings. Proceedings of IJCAI'95, Morgan Kaufman, 1995.
5. S. Bistarelli, U. Montanari and F. Rossi. Semiring-based Constraint Solving and Optimization. Journal of ACM, vol. 44, no. 2, March 1997.
6. S. Bistarelli, U. Montanari and F. Rossi Semiring-based Constraint Logic Programming. Proceedings of IJCAI'97, Morgan Kaufman, 1997.
7. P. Codognet and D. Diaz. Compiling Constraints in clp(FD). Journal of Logic Programming, vol. 27, no. 3, 1996.
8. P. Cousot. Asynchronous Iterative Methods for Solving a Fixed Point System of Monotone Equations in a Complete Lattice. Université Scientifique et Médicale et Institut National Polytechnique de Grenoble, RR 88, Septembre 1977.
9. D. Dubois, H. Fargier and H. Prade. The calculus of fuzzy restrictions as a basis for flexible constraint satisfaction. Proc. IEEE International Conference on Fuzzy Systems, IEEE, pp. 1131-1136, 1993.
10. Y. Georget. Extensions de la Programmation par Contraintes. Ph.D. thesis, Ecole Polytecnique, Paris, to be defended in September 1999.s
11. Y. Georget and P. Codognet. Compiling Semiring-based Constraints with clp(FD,S). Proceedings of CP'98, Springer, 1998.
12. Y. Georget and P. Codognet. Encoding Global Constraints in Semiring-based Constraint Solving. Proceedings of ICTAI'98, IEEE, 1998.
13. A. K. Mackworth. Consistency in Networks of Relations. Artificial Intelligence 8 (1977), pp 99-118.
14. J-F. Puget. A C++ implementation of CLP. Proceedings of SPICIS 94, November 1994.
15. P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989.
16. P. Van Hentenryck, Y. Deville and C-M. Teng. A generic arc-consistency algorithm and its specializations. Artificial Intelligesnce 57 (1992), pp 291-321.