Applying interval arithmetic to real, integer, and boolean constraints

Journal of Logic Programming

Volumn 32, Issue 1, 1997, Pages 1-24

  Benhamou, Frédéric ^a   Older, William J ^b  

^a UNIVERSITÉ D'ORLÉANS   (France)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; NUMBER THEORY; PROLOG (PROGRAMMING LANGUAGE); SOFTWARE PROTOTYPING;

BOOLEAN CONSTRAINTS; CONSTRAINT LOGIC PROGRAMMING LANGUAGE; INTERVAL ARITHMETIC; NATURALS; REALS;

LOGIC PROGRAMMING;

EID: 0031185563     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(96)00142-2     Document Type: Article

References (30)

1. Aggoun, A. and Beldiceanu, N., Overview of the CHIP Compiler System, in: F. Benhamou and A. Colmerauer (eds.), Constraint Logic Programming: Selected Research, MIT Press, Cambridge, MA, 1993, pp. 421-435.
2. Aiba, A., Sakai, K., Sato, Y., Hawley, D. J., and Hasegawa, R., Constraint Logic Programming Language CAL, in: Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS-88), ICOT, Tokyo, Japan, 1988, pp. 263-276.
3. Alefeld, G. and Herzberger, J., Introduction to Interval Computations, Academic Press, New York, 1983.
4. Benhamou, F., Boolean Algorithms in Prolog III, in: F. Benhamou and A. Colmerauer (eds.), Constraint Logic Programming: Selected Research, MIT Press, Cambridge, MA, 1993, pp. 307-325.
5. Benhamou, F. and Colmerauer, A. (eds.), Constraint Logic Programming: Selected Research, MIT Press, Cambridge, MA, 1993.
6. Benhamou, F. and Massat, J. L., Boolean Pseudo-Equations in Constraint Logic Programming, in: Proceedings of ICLP'93, MIT Press, Cambridge, MA, 1993, pp. 517-531.
7. Benhamou, F., MacAllester, D., and Van Hentenryck, P., CLP(Intervals) Revisited, Proceedings of ILPS'94, Ithaca, NY, 1994.
8. Cleary, J. G., Logical Arithmetic, Future Computing Systems 2(2):125-149 (1987).
9. Colmerauer, A., An Introduction to Prolog III, Communications of the ACM 33(7):69 (1990).
10. Colmerauer, A., Naive Solving of Non-Linear Constraints, in: F. Benhamou and A. Colmerauer (eds.), Constraint Logic Programming: Selected Research, MIT Press, Cambridge, MA, 1993, pp. 89-112.
11. Dincbas, M., Simonis, H., and Van Hentenryck, P., Extending Equation Solving and Constraints Handling in Logic Programming, Proc. Colloquium CREAS MCC, Austin, TX, May 1987.
12. Hyvönen, E., Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach, Artificial Intelligence 58:71-112 (1992).
13. Jaffar, J. and Lassez, J. L., Constraint Logic Programming, in: Proc. POPL, ACM, 1987.
14. Jaffar, J., Michaylov, S., Stuckey, P. J., and Yap, R. H. C., The CLP(script R sign) Language and System, ACM Transactions on Programming Languages and Systems 14(3):339-395 (1992).
15. Jaffar, J. and Maher, M., Constraint Logic Programming: A Survey, Journal of Logic Programming 19/20:503-581 (1994).
16. Lee, J. H. M. and van Emden, M. H., Adapting CLP(script R sign) to Floating Point Arithmetic, in: Proceedings of the Fifth Generation Computer Systems Conference, Tokyo, Japan, 1992.
17. Lee, J. H. M. and van Emden, M. H., Interval Computation as Deduction in CHIP, Journal of Logic Programming 16(3/4):255-276 (1993).
18. Mackworth, A. K., Consistency in Networks of Relations, Artificial Intelligence 8:99-118 (1977).
19. Mackworth, A. K., Mulder, J. A., and Havens, W. S., Hierarchical Arc Consistency: Exploiting Structured Domains in Constraint Satisfaction Problems, Computational Intelligence 1:118-126 (1985).
20. Massat, J. L., Using Local Consistency Techniques to Solve Boolean Constraints, in: F. Benhamou and A. Colmerauer (eds.), Constraint Logic Programming: Selected Research, MIT Press, Cambridge, MA, 1993, pp. 223-235.
21. Montanari, U., Networks of Constraints: Fundamental Properties and Application to Picture Processing, Information Science, Vol. 7, 1992.
22. Montanari, U. and Rossi, F., Finite Domain Constraint Solving and Constraint Logic Programming, in: F. Benhamou and A. Colmerauer (eds.), Constraint Logic Programming: Selected Research, MIT Press, Cambridge, MA, 1993, pp. 201-221.
23. Moore, R. E., Interval Analysis, Prentice Hall, Englewood Cliffs, NJ, 1966.
24. Older, W. and Vellino, A., Extending Prolog with Constraint Arithmetic on Real Intervals, in: Proceedings of the Canadian Conference on Electrical and Computer Engineering, 1990.
25. Older, W. and Vellino, A., Constraint Arithmetic on Real Intervals, in: F. Benhamou and A. Colmerauer (eds.), Constraint Logic Programming: Selected Research, MIT Press, Cambridge, MA, 1993, pp. 175-195.
26. Older, W. and Benhamou, F., Programming in CLP(BNR), in: Proceedings of PPCP'93, Newport, RI, 1993.
27. Sidebottom, G. and Havens, W., Hierarchical Arc Consistency Applied to Numeric Processing in Constraint Logic Programming, Computational Intelligence 8(4) (1992).
28. Stark, H. M., An Introduction to Number Theory, MIT Press, Cambridge, MA, 1978.
29. Van Hentenryck, P., Constraint Satisfaction in Logic Programming, MIT Press, Cambridge, MA, 1989.
30. Van Hentenryck, P. and Deville, Y., The Cardinality Operator: A New Logical Connective for Constraint Logic Programming, in: F. Benhamou and A. Colmerauer (eds.), Constraint Logic Programming: Selected Research, MIT Press, Cambridge, MA, 1993, pp. 383-403.