Constraint reasoning based on interval arithmetic: the tolerance propagation approach

Artificial Intelligence

Volumn 58, Issue 1-3, 1992, Pages 71-112

  Hyvönen, Eero ^a  

^a VTT TECHNICAL RESEARCH CENTRE OF FINLAND   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 44049111346     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(92)90005-I     Document Type: Article

References (52)

1. Constraint logic programming language CAL
2. On interval arithmetic range approximation methods of polynomials and rational functions
3. Maintaining knowledge about temporal intervals
4. On computing the range of values
5. Logical arithmetic
6. Opening the Prolog III universe
7. Constraint propagation with interval labels
8. The cycle-cutset method for improving search performance in AI applications
9. Network-based heuristics for constraint-satisfaction problems
10. Tree clustering for constraint networks
11. Towards a global optimization technique
12. Knowledge engineering of the aircraft design process
13. A sufficient condition for backtrack-free search
14. Algebraic constraints
15. An overview of global optimization using interval analysis
16. CLP(R) and some electrical engineering problems
17. Constraint reasoning based on interval arithmetic
18. Application conditions for interval constraint propagation
19. Constraint reasoning with incomplete knowledge: the tolerance propagation approach
20. Global consistency in interval constraint satisfaction
21. Interval constraint spreadsheets for financial planning
22. Solution abstraction in logical problem solving
23. Constraint logic programming
24. Constraint logic programming
25. Methodology and implementation of a CLP system
26. Constraint logic programming
27. Constraint logic programming and option trading
28. Constraint satisfaction
29. The complexity of some polynomial network consistency algorithms for constraint satisfaction problems
30. Constraint satisfaction problems: an overview
31. SIAM Studies in Applied Mathematics
32. Probabilistic logic
33. Interval arithmetic specification
34. Extending Prolog with constraint arithmetic on real intervals
35. W. Older and A. Vellino, Constraint arithmetic on real intervals, in: F. Benhamou and A. Colmerauer, eds., Constraint Logic Programming, Collected Papers (MIT Press, Cambridge, MA, to appear).
36. Inferno: a cautious approach to uncertain inference
37. Centred forms
38. Computation of rational interval functions
39. The definition and implementation of a computer programming language based on constraints
40. Understanding line drawings of scenes with shadows
41. Extending the constraint propagation of intervals