Value Constraints in the CLP Scheme

Constraints

Volumn 2, Issue 2, 1997, Pages 163-183

  Van Emden, M H ^a  

^a UNIVERSITY OF VICTORIA   (Canada)

Author keywords

Arc consistency; Chaotic iterations; CLP; Constraint logic programming; Constraint propagation; Fixpoints; Interval constraints; Waltz filtering

Indexed keywords

EID: 0041399501     PISSN: 13837133     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1009705709733     Document Type: Article

References (30)

1. F. Benhamou, D. McAllester & P. Van Hentenryck. (1994). CLP(Intervals) revisited. In Logic Programming: Proc. 1994 International Symposium, pp. 124-138.
2. BNR. (1988). BNR Prolog user guide and reference manual.
3. F. Benhamou & W.J. Older. (1994). Applying interval arithmetic to real, integer, and Boolean constraints. Journal of Logic Programming. Technical report 1994; forthcoming 1997.
4. B. Botella & P. Taillibert. (1993). INTERLOG: constraint logic programming on numeric intervals. In Third International Workshop on Software Engineering, Artificial Intelligence, and Expert Systems, Oberammergau.
5. C.K. Chiu & J.H.M. Lee. (1994). Towards practical interval constraint solving in logic programming. In Logic Programming: Proceedings of the 1994 International Symposium, pp. 109-123, Ithaca, USA.
6. A. Colmerauer. (1996). Les bases de Prolog IV. Technical report, PrologIA, Marseilles, France, Chapter 2 of "Le Manuel de Prolog IV".
7. H.M. Chen & M.H. van Emden. (In preparation). Interval constraints for unconstrained global optimization. In preparation.
8. E. Davis. (1987). Constraint propagation with labels. Artificial Intelligence, 32: 281-331.
9. M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf & F. Berthier. (1988). The constraint programming language CHIP. In Proc. Int. Conf. on Fifth Generation Computer Systems.
10. C.C. Green. (1969). The application of theorem-proving to question-answering systems. Technical Report 8, Artificial Intelligence Group, Stanford Research Institute.
11. E. Hansen. (1992). Global Optimization Using Interval Analysis. Marcel Dekker.
12. P.J. Hayes. (1973). Computation as deduction. In Proc. Second MFCS Symposium, pp. 105-118. Czechoslovak Academy of Sciences.
13. T.J. Hickey. (1994). CLP(F) and constrained ODE's. In Jean Jourdain, Pierre Lim, and Roland H.C. Yap, editors, Workshop on Constraint Languages and their Use in Problem Modelling, pp. 69-79, Ithaca, New York.
14. H. Hong. (1993). RISC-CLP(Real): Logic programming with non-linear constraints over the reals.
15. J. Jaffar & M.J. Maher. (1994). Constraint logic programming: A survey. Journal of Logic Programming, 19/20: 503-582.
16. O. Lhomme. (1993). Consistency techniques for numeric CSPs. In Proceedings of the 13th International Joint Conference on Artificial Intelligence.
17. J.H.M. Lee & T.W. Lee. (1994). A WAM-based abstract machine for interval constraint logic programming. In Proceedings of the Sixth IEEE International Conference on Tools with Artificial Intelligence, pp. 122-128, New Orleans, USA.
18. J-L. Lassez & M.J. Maher. (1984). Closures and fairness in the semantics of programming logic. Theoretical Computer Science, 29: 167-184.
19. J-L. Lassez, M.J. Maher & K. Marriott. (1988). Unification revisited. In Jack Minker, editor, Foundations of Deductive Databases and Logic Programming, pp. 587-625. Morgan Kaufmann.
20. A.K. Mackworth. (1977). Consistency in networks of relations. Artificial Intelligence, 8: 99-118.
21. R.E. Moore. (1966). Interval Analysis. Prentice-Hall.
22. U. Montanari & F. Rossi. (1991). Constraint relaxation may be perfect. Artificial Intelligence, 48: 143-170.
23. W.J. Older. (1994). Application of relational interval arithmetic to ordinary differential equations. In Jean Jourdain, Pierre Lim, and Roland H.C. Yap, editors, Workshop on Constraint Languages and their Use in Problem Modelling, pp. 60-69, Ithaca, New York.
24. W.J. Older & A. Vellino. (1990). Extending Prolog with constraint arithmetics on real intervals. In Proceedings of the Canadian Conference on Computer & Electrical Engineering, Ottawa, Canada.
25. W.J. Older & A. Vellino. (1993). Constraint arithmetic on real intervals. In Frédéric Benhamou and Alain Colmerauer, editors, Constraint Logic Programming, pp. 175-195. MIT Press.
26. A.L. Semenov. (1996). Solving optimization problems with help of the Unicalc solver. In R. Baker Kearfott and Vladik Kreinovich, editors, Application of Interval Computations, pp. 211-224. Kluwer Academic Publishers.
27. B. Stroustrup. (1994). The Design and Evolution of C++. Addison-Wesley.
28. V. Telerman & D. Ushakov. (1996). Subdefinite models as a variety of constraint programming. In Proc. 8th Int. Conf. on Tools for Artificial Intelligence, pp. 157-163. IEEE Computer Society.
29. J.D. Ullman. (1988). Principles of Database and Knowledge-Base Systems. Computer Science Press.
30. D. Waltz. (1975). Understanding line drawings in scenes with shadows. In Patrick Henry Winston, editor, The Psychology of Computer Vision, pp. 19-91. McGraw-Hill.