The role of model checking in critiquing based on clinical guidelines

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

Volumn 4594 LNAI, Issue , 2007, Pages 411-420

  Groot, Perry ^a   Hommersom, Arjen ^a   Lucas, Peter ^a   Serban, Radu ^b   Ten Teije, Annette ^b   Van Harmelen, Frank ^b  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FEEDBACK CONTROL; MODEL CHECKING; ONCOLOGY; PATIENT TREATMENT; TEMPORAL LOGIC;

BREAST CANCER; CLINICAL GUIDELINES; PATIENT DATA;

HOSPITAL DATA PROCESSING;

EID: 35148864030     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73599-1_55     Document Type: Conference Paper

References (12)

1. Advani, A., Lo, K., Shahar, Y.: Intention-based critiquing of guideline-oriented medical care. In: Proceedings of AMIA Annual Symposium, pp. 483-487 (1998)
2. Bäumler, S., Balser, M., Dunets, A., Reif, W., Schmitt, J.: Verification of medical guidelines by model checking - a case study. In: Valmari, A. (ed.) Model Checking Software. LNCS, vol. 3925, pp. 219-233. Springer, Heidelberg (2006)
3. Clarke, E.M., Grumberg, O., Peled, A.D.: Model Checking. MIT Press, Cambridge, Massachusetts, London, England (2001)
4. Gertner, A.S.: Critiquing: effective decision support in time-critical domains. PhD thesis, Dept. of Computer & Information Science, University of Pennsylvania (1995)
5. Hommersom, A.J., Groot, P., Lucas, P.J.F., Marcos, M., Martinez-Salvador, B.: A constraint-based approach to medical guidelines and protocols. In: ECAI 2006 WS -AI techniques in healthcare: evidence based guidelines and protocols (2006)
6. Kupferman, O., Vardi, M.Y.: Modular model checking. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol. 1536, pp. 381-401. Springer, Heidelberg (1998)
7. Marcos, M., Berger, G., van Harmelen, F., ten Teije, A., Roomans, H., Miksch, S.: Using critiquing for improving medical protocols: Harder than it seems. In: 8th European Conference on Artificial Intelligence in Medicine, pp. 431-441 (2001)
8. Miller, P.: A critiquing approach to Expert Computer Advice: ATTENDING. Pittman Press, London (1984)
9. Shahar, Y., Miksch, S., Johnson, P.: A task-specific ontology for the application and critiquing of time oriented clinical guidelines. In: Proceedings of the sixth Conference on Artificial Intelligence in Medicine in Europe, pp. 51-61 (1997)
10. Silverman, B.G.: Survey of expert critiquing systems: Practical and theoretical frontiers. Communications of the ACM 35(4), 106-127 (1992)
11. Sips, R., Braun, L., Roos, N.: Applying formal medical guidelines for critiquing. In: ECAI 2006 WS - AI techniques in healthcare: evidence based guidelines and protocols (2006)
12. Terenziani, P., Giodano, L., Bottrighi, A., Montani, S., Donzella, L.: SPIN model checking for the verifcation of clinical guideline. In: ECAI 2006 WS - AI techniques in healthcare: evidence-baded guidelines and protocols (2006)