Integrating deep biomedical models into medical decision support systems: An interval constraint approach

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

Volumn 1620, Issue , 1999, Pages 185-194

  Cruz, Jorge ^a   Barahona, Pedro ^a   Benhamou, Frédéric ^b  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b UNIVERSITÉ DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION MAKING; DIFFERENTIAL EQUATIONS; KNOWLEDGE REPRESENTATION; MEDICINE;

BIO-MEDICAL MODELS; BIOMEDICAL RESEARCH; FORWARD-AND-BACKWARD; INTERVAL CONSTRAINT; MEDICAL CONCEPTS; MEDICAL DECISION SUPPORT SYSTEM; MEDICAL DOMAINS; MEDICAL KNOWLEDGE;

DECISION SUPPORT SYSTEMS;

EID: 84956854221     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48720-4_20     Document Type: Conference Paper

References (20)

1. O'Neil, M., Glowinski, A. and Fox, J.: A Symbolic Theory of Decision Making Applied to Several Medical Tasks, Lecture Notes in Medical Informatics, Springer, 38 (1989) 62-71.
2. Horn, W.: Utilizing Detailed Anatomical Knowledge for Hypothesis Formation and Hypothesis Testing in Rheumatological Decision Support. In: E. Keravnou, eds., Deep Models for Medical Knowledge Engineering, Elsevier, (1992) 27-50.
3. Cruz, J. and Barahona, P.: A Causal-Functional Model Applied to EMG Diagnosis, Proceedings of the 6th Conference on Artificial Intelligence in Medicine Europe, AIME’97, Springer, Grenoble, France (1997) 249-260.
4. Andreassen, S., Falck, B. and Olesen, K.G.: Diagnostic Function of the Microhuman Prototype of the Expert System MUNIN, Electroencephalography and Clinical Neurophysiology 85 (1992) 143-157.
5. Suojanen, M., Olesen, K.G. and Andreassen, S.: A Method for Diagnosing in Large Medical Expert Systems Based on Causal Probabilistic Networks, Proceedings of the 6th Conference on Artificial Intelligence in Medicine Europe, AIME’97, Springer, Grenoble, France (1997) 285-295.
6. Timmons, W.D.: Cardiovascular Models and Control. In: The Biomedical Engineering Handbook. CRC/IEEE Press, Connecticut (1995) 2386-2403.
7. Poon, C.-S.: Respiratory Models and Control. In: The Biomedical Engineering Handbook. CRC/IEEE Press, Connecticut (1995) 2404-2421.
8. Cobelli, C. and Saccomani, M.P.: Compartment Models of Physiologic Systems. In: The Biomedical Engineering Handbook. CRC/IEEE Press, Connecticut (1995) 2375-2385.
9. Aminoff M.J.: Electrodiagnosis in Clinical Neurology. 3th edn. Churchill Livingstone, New York (1992).
10. FitzHugh, R.: Mathematical models of excitation and propagation in nerve. In: Biological Engineering, chap 1, McGraw-Hill, New York (1969) 1-85.
11. Tasaki, I.: Conduction of the Nerve Impulse. In: Handbook of Physiology, section I: Neurophysiology Vol. 1. American Physiological Society, Washington (1959) 75-121.
12. Van Denneheuvel, S et al: Reduced Constraint Models. In: E. Keravnou, eds., Deep Models for Medical Knowledge Engineering, Elsevier, (1992) 89-100.
13. Cleary J.G.: Logical Arithmetic. In Future Generation Computing Systems, 2(2) (1987) 125-149.
14. Moore R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ (1966).
15. Benhamou, F., McAllester, D. and Van Hentenryck, P.: CLP(intervals) revisited. In Proceedings of the International Logic Programming Symposium (1994).
16. Haroud, D. and Faltings, B.: Consistency techniques for continuous constraints. In Constraints 1(1 and 2) (1996) 85-118.
17. Hartman, P.: Ordinary Differential Equations. Wiley, New York (1964).
18. 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).
19. 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 – CP 98. Pisa, Italy (1998) 162-176.
20. Veloso, M. et al, ESTEEM: European Standardized Telematics Tool to Evaluate EMG Knowledge Based Systems and Methods, in Health in the New Communication Age, Laires, M.F., Ladeira, M.J. and Christensen, J.P. (Eds.), IOS Press, pp. 348-356, 1995