Compiling semiring-based constraints with clp(FD,S)

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

Volumn 1520, Issue , 1998, Pages 205-219

  Georget, Yan ^a   Codognet, Philippe ^a,b  

^a INRIA ROCQUENCOURT   (France)

^b SONY COMPUTER SCIENCE LABORATORIES INC   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; FINITE DIFFERENCE METHOD; LOGIC PROGRAMMING;

ARC CONSISTENCY; CONSTRAINT LOGIC PROGRAMMING; CONSTRAINT SATISFACTION; CONSTRAINT SOLVING; FINITE DOMAINS; FUZZY CSPS; SEMI-RING;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 84957628788     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49481-2_16     Document Type: Conference Paper

References (21)

1. S. Bistarelli, U. Montanari and F. Rossi. Constraint Solving over Semirings. In Proceedings of IJCAI’95, Morgan Kaufman, 1995.
2. S. Bistarelli, U. Montanari and F. Rossi. Semiring-based Constraint Solving and Optimization. Journal of ACM, vol.44, n.2, pp. 201-236, March 1997.
3. P. Codognet and D. Diaz. A Minimal Extension of the WAM for clp(FD). In Pro- ceedings of ICLP’93, 10th Int. Conf. on Logic Programming, Budapest, Hungary, MIT Press 1993.
4. P. Codognet and D. Diaz. Compiling Constraints in clp(FD). Journal of Logic Programming, vol. 27, no. 3, 1996.
5. Y. Caseau and F. Laburthe. Solving Various Weighted Matching Problems with Constraints. In Proceedings of CP’97, 3rd Int. Conf. on Constraint Programming, Springer Verlag, 1997.
6. Y. Caseau and F. Laburthe. The Claire documentation. LIENS Report 96-15, Ecole Normale Superieure, Paris, 1995.
7. CON’FLEX, manuel de l’utilisateur Laboratoire de Biométrie et d’Intelligence Artificielle, INRA, France, 1996
8. M. Dincbas, H. Simonis, P. Van Hentenryck. Solving the Car-Sequencing Problem In Constraint Logic Programming. In Proceedings of ECAI’88. Munich, West Germany, August 1988.
9. D. Dubois, H. Fargier, and H. Prade. The calculus of fuzzy restrictions as a basis for exible constraint satisfaction. In Proceedings of IEEE International Conference on Fuzzy Systems. IEEE, 1993.
10. E.C. Freuder and R.J. Wallace. Partial constraint satisfaction. AI Journal, 58, 1992, pp.21-70.
11. L. Gacôgne. Elements de logique oue. Hermes, 1997.
12. M. Lemaître and L. Lobjois. Bibliothéque d’algorithmes de résolution de problémes et d'optimisation sous contraintes. CERT, FRANCE, 1997.
13. A. K. Mackworth. Consistency in Networks of Relations. Artificial Intelligence 8 (1977), pp 99-118.
14. A.K. Mackworth. Constraint satisfaction. In Stuart C. Shapiro, editor, Encyclopedia of AI (second edition), volume 1, pages 285-293. John Wiley & Sons, 1992.
15. U. Montanari. Networks of constraints: Fundamental properties and application to picture processing. Information Science, 7, 1974.
16. A. Rosenfeld, R.A. Hummel, and S.W. Zucker. Scene labelling by relaxation operations. IEEE Transactions on Systems, Man, and Cybernetics, 6(6), 1976.
17. Z. Ruttkay. Fuzzy constraint satisfaction. In Proceedings of 3rd International Conference on Fuzzy Systems, 1994.
18. T. Schiex, H. Fargier, and G. Verfaillie. Valued Constraint Satisfaction Problems: Hard and Easy Problems. In Proceedings of IJCAI’95. Morgan Kaufmann, 1995.
19. P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989.
20. P. Van Hentenryck, Y. Deville and C-M. Teng. A generic arc-consistency algorithm and its specializations. Artificial Intelligence 57 (1992), pp 291-321.
21. L.A. Zadeh. Calculus of fuzzy restrictions. in K. Tanaka, L.A. Zadeh, K.S Fu and M. Shimura editors, Fuzzy sets and their applications to cognitive and decision processes. Academic Press, 1975.