A unified framework for interval constraints and interval arithmetic

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

Volumn 1520, Issue , 1998, Pages 250-264

  Hickey, T J ^a   Van Emden, M H ^b   Wu, H ^b  

^a BRANDEIS UNIVERSITY   (United States)

^b UNIVERSITY OF VICTORIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY;

CONSTRAINT PROPAGATION; INTERVAL ARITHMETIC; INTERVAL ARITHMETIC EVALUATION; INTERVAL CONSTRAINT; ROUNDING ERRORS; UNIFIED FRAMEWORK;

COMPUTER PROGRAMMING;

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

References (20)

1. Götz Alefeld and Jürgen Herzberger. Introduction to Interval Computations. Academic Press, 1983.
2. F. Benhamou, D. McAllester, and P. Van Hentenryck. CLP(Intervals) revisited. In Logic Programming: Proc. 1994 International Symposium, pages 124-138, 1994.
3. Frédéric Benhamou, Pascal Bouvier, Alain Colmerauer, Henri Garetta, Bruno Giletta, Jean-Luc Massat, Guy Alain Narboni, Stéphane N’Dong, Robert Pasero, Jean-François Pique, Touraïvane Michel Van Caneghem, and Eric Vétillard. Le manuel de Prolog IV. Technical report, PrologIA, Parc Technologique de Luminy, Marseille, France, 1996.
4. Frédéric Benhamou and William J. Older. Applying interval arithmetic to real, integer, and Boolean constraints. Journal of Logic Programming, 32:1-24, 1997.
5. BNR. BNR Prolog user guide and reference manual. 1988.
6. J.G. Cleary. Logical arithmetic. Future Computing Systems, 2:125-149, 1987.
7. E. Davis. Constraint propagation with labels. Artificial Intelligence, 32:281-331, 1987.
8. M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The constraint programming language CHIP. In Proc. Int. Conf. on Fifth Generation Computer Systems, 1988.
9. Eldon Hansen. Global Optimization Using Interval Analysis. Marcel Dekker, 1992.
10. Pascal Van Hentenryck, Laurent Michel, and Yves Deville. Numerica: A Modeling Language for Global Optimization. MIT Press, 1997.
11. T. Hickey and M. van Emden. Using the IEEE oating-point standard for implementing interval arithmetic. In preparation.
12. E. Hyvönen. Constraint reasoning based on interval arithmetic. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, pages 1193-1198, Detroit, USA, 1989.
13. W.M. Kahan. A more complete interval arithmetic. Technical report, University of Toronto, Canada, 1968.
14. Seymour Lipschutz. General Topology. Schaum’s Outline Series, 1965.
15. Ramon E. Moore. Interval Analysis. Prentice-Hall, 1966.
16. Arnold Neumaier. Interval Methods for Systems of Equations. Cambridge University Press, 1990.
17. M.H. van Emden. Canonical extensions as common basis for interval constraints and interval arithmetic. In Proceedings of the Sixth French Conference on Logic and Constraint Programming, Orléans, France, 1997.
18. M.H. van Emden. Value constraints in the CLP Scheme. Constraints, 2:163-183, 1997.
19. D. Waltz. Understanding line drawings in scenes with shadows. In Patrick Henry Winston, editor, The Psychology of Computer Vision, pages 19-91. McGraw-Hill, 1975.
20. Huan Wu. Defining and implementing a unified framework for interval constraints and interval arithmetic. Master’s thesis. In preparation.