Handling differential equations with constraints for decision support

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

Volumn 1794, Issue , 2000, Pages 105-120

  Cruz, Jorge ^a   Barahona, Pedro ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION SUPPORT SYSTEMS; DIAGNOSIS;

CONSISTENCY MAINTENANCE; CONSISTENCY REQUIREMENTS; CONSTRAINT PROPAGATION; DECISION SUPPORTS; INCREMENTAL APPROACH; INTERVAL CONSTRAINT; INTERVAL DOMAIN; SAFE BOUNDS;

ORDINARY DIFFERENTIAL EQUATIONS;

EID: 23044520201     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10720084_8     Document Type: Conference Paper

References (13)

1. Deville, Y., Janssen, M. and Van Hentenryck, P.: Consistency Techniques in Ordinary Differential Equations. In: Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming – CP98. Springer, Pisa, Italy (1998) 162-176
2. Cruz, J., Barahona, P. and Benhamou, F.: Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraints Approach. In: Proceedings of the Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, AIMDM’99, Springer, Aalborg, Denmark (1999)
3. Collavizza, H., Delobel, F. and Rueher, M.: A Note on Partial Consistencies over Continuous Domains. In: Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming - CP98. Springer, Pisa, Italy (1998) 147-161
4. Ackerman, E., Gatewood, L., Rosevar, J., and Molnar, G.: Blood Glucose Regulation and Diabetes. In: Concepts and Models of Biomathematics, Chapter 4, F. Heinmets, ed., Marcel Dekker, (1969) 131-156
5. Hartman, P.: Ordinary Differential Equations. Wiley, New York (1964)
6. Moore R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ (1966). 7. Lohner, R. J.: Enclosing the solutions of ordinary initial and boundary value problems. In: Computer Arithmetic: Scientific Computation and Programming Languages. Wiley- Teubner Series in Computer Science, Stuttgart, (1987) 255-286
7. Nedialkov, N. and Jackson, K.: Software Issues in Validated ODE Solving. Technical Report, Department of Computer Science, University of Toronto, Canada (1998)
8. Cleary, J.G.: Logical Arithmetic. In Future Generation Computing Systems, 2(2) (1987) 125-149
9. Older, W.: Application of Relational Interval Arithmetic to Ordinary Differential Equations. In: Workshop on Constraint Languages and their use in Problem Modelling, Int’l Logic Programming Symposium, Ithaca, New York (1994)
10. Hickey, T.J.: CLP(F) and Constrained ODEs. In: Proceedings of the Workshop on Constraint Languages and their use in Problem Modelling, Jourdan, Lim, Yap ed., (1994) 69-79
11. Lhomme, O.: Consistency Techniques for numeric CSPs. In: Procedures of IJCAI93, Chambery, France, (1993) 232-238
12. Benhamou, F., McAllester, D. and Van Hentenryck, P.: CLP(intervals) revisited. In: Proceedings of the International Logic Programming Symposium. MIT Press, (1994)
13. Benhamou, F., Goualard, F., Granvilliers, L.: An Extension of the WAM for Cooperative Interval Solvers. Technical Report, Department of Computer Science, University of Nantes, France (1998)