{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:58:15Z","timestamp":1725533895636},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642022661"},{"type":"electronic","value":"9783642022678"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02267-8_18","type":"book-chapter","created":{"date-parts":[[2009,6,17]],"date-time":"2009-06-17T04:01:45Z","timestamp":1245211305000},"page":"158-167","source":"Crossref","is-referenced-by-count":3,"title":["Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study"],"prefix":"10.1007","author":[{"given":"Guido","family":"Sciavicco","sequence":"first","affiliation":[]},{"given":"Jose M.","family":"Juarez","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Campos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"11","key":"18_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM\u00a026(11), 832\u2013843 (1983)","journal-title":"Communications of the ACM"},{"key":"18_CR2","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-73099-6_8","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"D. Bresolin","year":"2007","unstructured":"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.\u00a04548, pp. 73\u201389. Springer, Heidelberg (2007)"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-72734-7_7","volume-title":"Logical Foundations of Computer Science","author":"D. Bresolin","year":"2007","unstructured":"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.\u00a04514, pp. 84\u201399. Springer, Heidelberg (2007)"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/978-3-540-73599-1_63","volume-title":"Artificial Intelligence in Medicine","author":"C. Combi","year":"2007","unstructured":"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.\u00a04594, pp. 469\u2013478. Springer, Heidelberg (2007)"},{"key":"18_CR5","unstructured":"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\u2013150 (1997)"},{"issue":"1","key":"18_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artmed.2004.02.003","volume":"31","author":"P.A. Clercq de","year":"2004","unstructured":"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\u00a031(1), 1\u201327 (2004)","journal-title":"Artificial Intelligence in Medicine"},{"key":"18_CR7","volume-title":"Guidelines for Clinical Practice: from Development to Use","author":"M.J. Field","year":"1992","unstructured":"Field, M.J., Lohr, N.K.: Guidelines for Clinical Practice: from Development to Use. National Academic Press, London (1992)"},{"issue":"2","key":"18_CR8","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0169-2607(97)00034-5","volume":"54","author":"J. Fox","year":"1997","unstructured":"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\u00a054(2), 59\u201367 (1997)","journal-title":"Computer Methods and Programs in Biomedicine"},{"key":"18_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013976","volume-title":"Temporal Logic: Mathematical Foundations and Computational Aspects","author":"D.M. Gabbay","year":"1994","unstructured":"Gabbay, D.M., Hodkinson, I.M., Reynolds, M.: Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford University Press, Oxford (1994)"},{"issue":"9","key":"18_CR10","first-page":"1137","volume":"9","author":"V. Goranko","year":"2003","unstructured":"Goranko, V., Montanari, A., Sciavicco, G.: Propositional interval neighborhood temporal logics. Journal of Universal Computer Science\u00a09(9), 1137\u20131167 (2003)","journal-title":"Journal of Universal Computer Science"},{"issue":"4","key":"18_CR11","doi-asserted-by":"publisher","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"J. Halpern","year":"1991","unstructured":"Halpern, J., Shoham, Y.: A propositional modal logic of time intervals. Journal of the ACM\u00a038(4), 935\u2013962 (1991)","journal-title":"Journal of the ACM"},{"key":"18_CR12","unstructured":"Hederman, L., Smutek, D.: Representing clinical guidelines a comparative study in uml (2002)"},{"key":"18_CR13","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"654","DOI":"10.1007\/978-3-540-30227-8_54","volume-title":"Logics in Artificial Intelligence","author":"A. Hommersom","year":"2004","unstructured":"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.\u00a03229, pp. 654\u2013666. Springer, Heidelberg (2004)"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"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\u2013321 (2003)","DOI":"10.1007\/978-0-85729-412-8_23"},{"issue":"4","key":"18_CR15","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1136\/jamia.1998.0050357","volume":"5","author":"L. Ohno-Machado","year":"1998","unstructured":"Ohno-Machado, L., Gennari, S.: The guideline interchange format: A model for representing guidelines. Journal of the American Medical Informatics Association\u00a05(4), 357\u2013372 (1998)","journal-title":"Journal of the American Medical Informatics Association"},{"issue":"3","key":"18_CR16","first-page":"245","volume":"27","author":"S. Panzarasa","year":"2007","unstructured":"Panzarasa, S., Stefanelli, M.: Workflow management systems for guideline implementation. Neurological Sciences\u00a027(3), 245\u2013249 (2007)","journal-title":"Neurological Sciences"},{"key":"18_CR17","unstructured":"Sciavicco, G.: Quality checking of medical guidelines using interval temporal logics. In: Proc. of the 12th Conference CAEPIA (Conferencia de la Asociaci\u00f3n Espa\u00f1ola para la Inteligencia Artifici\u00e1l) (2007)"},{"issue":"1-2","key":"18_CR18","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/S0933-3657(98)00015-3","volume":"14","author":"Y. Shahar","year":"1998","unstructured":"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\u00a014(1-2), 29\u201351 (1998)","journal-title":"Artificial Intelligence in Medicine"},{"key":"18_CR19","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1056\/NEJMra052732","volume":"354","author":"J.I. Suarez","year":"2006","unstructured":"Suarez, J.I., Tarr, R.W., Selman, W.R.: Aneurysmal subarachnoid hemorrhage. New England Journal of Medicine\u00a0354, 387\u2013396 (2006)","journal-title":"New England Journal of Medicine"}],"container-title":["Lecture Notes in Computer Science","Bioinspired Applications in Artificial and Natural Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02267-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T19:19:19Z","timestamp":1558379959000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02267-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642022661","9783642022678"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02267-8_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}