Quality checking of medical guidelines using interval temporal logics: A case-study

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

Volumn 5602 LNCS, Issue PART 2, 2009, Pages 158-167

  Sciavicco, Guido ^a   Juarez, Jose M ^a   Campos, Manuel ^a  

^a UNIVERSITY OF MURCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CLINICAL PRACTISE GUIDELINES; DECISION SUPPORTS; INTERVAL TEMPORAL LOGIC; LOGICAL LANGUAGE; MEDICAL GUIDELINES; NATURAL NUMBER; NEIGHBORHOOD LOGIC; SATISFIABILITY PROBLEMS; STANDARD PRACTICES; TARGET LANGUAGE;

COMPUTABILITY AND DECIDABILITY; DECISION SUPPORT SYSTEMS; LINGUISTICS;

TEMPORAL LOGIC;

EID: 70350671768     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02267-8_18     Document Type: Conference Paper

References (19)

1. Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832-843 (1983)
2. Bresolin, D., Goranko, V., Montanari, A., Sala, P.: Tableau Systems for Logics of Subinterval Structures over Dense Orderings. In: Olivetti, N. (ed.) TABLEAUX 2007. LNCS (LNAI), vol. 4548, pp. 73-89. Springer, Heidelberg (2007)
3. Bresolin, D., Goranko, V., Montanari, A., Sciavicco, G.: On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. In: Artemov, S.N., Nerode, A. (eds.) LFCS 2007. LNCS, vol. 4514, pp. 84-99. Springer, Heidelberg (2007)
4. Combi, C., Gozzi, M., Juarez, J.M., Marin, R., Oliboni, B.: Querying clinical workflows by temporal similarity. In: Bellazzi, R., Abu-Hanna, A., Hunter, J. (eds.) AIME 2007. LNCS, vol. 4594, pp. 469-478. Springer, Heidelberg (2007)
5. Dazzi, L., Fassino, C., Saracco, R., Quaglini, S., Stefanelli, M.: A patient workflow management system built on guidelines. In: Proc. of AMIA Annu. Fall Symp., pp. 146-150 (1997)
6. de Clercq, P.A., Blom, J.A., Korsten, H.H.M., Hasman, A.: Approaches for creating computer-interpretable guidelines that facilitate decision support. Artificial Intelligence in Medicine 31(1), 1-27 (2004)
7. Field, M.J., Lohr, N.K.: Guidelines for Clinical Practice: from Development to Use. National Academic Press, London (1992)
8. Fox, J., Johns, N., Lyons, C., Rahmanzadeh, A., Thomson, R., Wilson, P.: Proforma: a general technology for clinical decision support systems. Computer Methods and Programs in Biomedicine 54(2), 59-67 (1997)
9. Gabbay, D.M., Hodkinson, I.M., Reynolds, M.: Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford University Press, Oxford (1994)
10. Goranko, V., Montanari, A., Sciavicco, G.: Propositional interval neighborhood temporal logics. Journal of Universal Computer Science 9(9), 1137-1167 (2003)
11. Halpern, J., Shoham, Y.: A propositional modal logic of time intervals. Journal of the ACM 38(4), 935-962 (1991)
12. Hederman, L., Smutek, D.: Representing clinical guidelines a comparative study in uml (2002)
13. Hommersom, A., Lucas, P., Balser, M.: Meta-level verification of the quality of medical guidelines using interactive theorem proving. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 654-666. Springer, Heidelberg (2004)
14. Lucas, P.: Quality checking of medical guidelines through logical abduction. In: Proc. of the 23rd SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence (AI 2003), pp. 309-321 (2003)
15. Ohno-Machado, L., Gennari, S.: The guideline interchange format: A model for representing guidelines. Journal of the American Medical Informatics Association 5(4), 357-372 (1998)
16. Panzarasa, S., Stefanelli, M.: Workflow management systems for guideline implementation. Neurological Sciences 27(3), 245-249 (2007)
17. Sciavicco, G.: Quality checking of medical guidelines using interval temporal logics. In: Proc. of the 12th Conference CAEPIA (Conferencia de la Asociacion Espanola para la Inteligencia Artificiál) (2007)
18. Shahar, Y., Miksch, S., Johnson, P.: The asgaard project: a task-specific framework for the application and critiquing of time-oriented clinical guidelines. Artificial Intelligence in Medicine 14(1-2), 29-51 (1998)
19. Suarez, J.I., Tarr, R.W., Selman, W.R.: Aneurysmal subarachnoid hemorrhage. New England Journal of Medicine 354, 387-396 (2006)