Protocols for medical procedures and therapies: A provisional description of the PROForma language and tools

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

Volumn 1211, Issue , 1997, Pages 21-38

  Fox, John ^a   Johns, Nicky ^a   Rahmanzadeh, Ali ^a  

^a IMPERIAL CANCER RESEARCH FUND   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

BEST PRACTICE GUIDELINES; CLINICAL PROCEDURE; CLINICAL TASKS; MEDICAL PROCEDURES; PATIENT CARE; PROFORMA; PROTOCOL DEVELOPMENT; RESEARCH PROTOCOL;

COMPUTATIONAL LINGUISTICS;

EID: 21744459487     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0029433     Document Type: Conference Paper

References (17)

1. Ambler, S., “A categorical approach to the semantics of argumentation” Mathematical Structures, 1996.
2. Das S K, Fox J, Krause P J., “A unified framework for hypothetical and practical reasoning (1): Theoretical Foundations” in D M Gabbay and H J Ohlbach, Practical Reasoning, Berlin: Springer 1996.
3. Fox J, Symbolic Decision Procedures for Knowledge Based Systems, in H Adeli (ed) Knowledge Engineering, volume 2, New York: McGraw Hill, 1990.
4. Fox J., “On the soundness and safety of expert systems” Artificial Intelligence in Medicine, 5, 159-179, 1993.
5. Fox J, Glowinski A J, O’Neil M., “The Oxford System of Medicine” Artificial Intelligence in Medicine, 1990.
6. Fox J, Barber D C and Bardhan KD., “A quantitative comparison with rule-based diagnostic inference” Meth. Inform. Med. 19, 210-215, 1980.
7. Fox J, Clark DA, Glowinski A J and O’Neil M., Using predicate logic to integrate qualitative reasoning and classical decision theory, IEEE Trans. Systems, Man and Cybernetics, 20(2), 347-357, 1990.
8. Fox J, Krause P J and Ambler S., “Arguments, contradictions and practical reasoning” in B Neumann (ed) Proc. 10th Eur. Conf. On AI, 623-627, 1992.
9. Fox J and Das S K., “A unified framework for hypothetical and practical reasoning (2): Lessons from medicine” in D M Gabbay and H J Ohlbach, Practical Reasoning, Berlin: Springer 1996.
10. Hammond P, Harris A L, Das S K and Wyatt J., “Safety and decision support in oncology” Meth. Inform. Med., 33 (4), 371-381, 1994.
11. Heathfield H A and Wyatt J., “Philosophies for the design and development of clinical decision support systems” Meth. Inform. Med, 32, 1-8, 1993.
12. th Annual Symposium on Computer Applications in Medical Care, Washington: IEEE Press, 200-204, 1990.
13. Krause P, Ambler S, Elvang-Goransson M and Fox J., “A logic of argumentation for reasoning under uncertainty” Computational Intelligence, 11(1), 1995.
14. Musen M A, Tu S W, Das A K and Shahar Y ‘A component based architecture for automation of Protocol-Directed Therapy’, in Barahona P, Stefanelli M and Wyatt J (eds) Proc. AIME95, Berlin: Springer, 1995.
15. O’Neil M and Glowinski A J., “Evaluating and validating very large knowledge based systems” Medical Informatics, 15 (3), 237-251, 1990.
16. Pradhan M, Henrion M, Provan G, Del Favero B, Huang K., “The sensitivity of belief networks to imprecise probabilities: an experimental investigation” Artificial Intelligence, 85, 363-397, 1996.
17. Sitter H, Prunte H, Lorenz., “A new version of the Programme ALGO for clinical algorithms” in J Brender et al (eds), Medical Informatics Europe, IOS Press, 1996.