{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:41:58Z","timestamp":1755999718684},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642118074"},{"type":"electronic","value":"9783642118081"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-11808-1_7","type":"book-chapter","created":{"date-parts":[[2010,2,8]],"date-time":"2010-02-08T00:01:56Z","timestamp":1265587316000},"page":"76-87","source":"Crossref","is-referenced-by-count":10,"title":["Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines"],"prefix":"10.1007","author":[{"given":"Alessio","family":"Bottrighi","sequence":"first","affiliation":[]},{"given":"Federico","family":"Chesani","sequence":"additional","affiliation":[]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[]},{"given":"Stefania","family":"Montani","sequence":"additional","affiliation":[]},{"given":"Sergio","family":"Storari","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Terenziani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"Health Telematics for Clinical Guidelines and Protocols","year":"1995","key":"7_CR1","unstructured":"Gordon, C., Christensen, J.P. (eds.): Health Telematics for Clinical Guidelines and Protocols. IOS Press, Amsterdam (1995)"},{"key":"7_CR2","unstructured":"Fridsma, D.B. (Guest ed.): Special Issue on Workflow Management and Clinical Guidelines. Journal of the American Medical Informatics Association\u00a022(1), 1\u201380 (2001)"},{"volume-title":"Computer-based medical guidelines and protocols: a primer and current trends","year":"2008","key":"7_CR3","unstructured":"ten Teije, A., Miksch, S., Lucas, P. (eds.): Computer-based medical guidelines and protocols: a primer and current trends. IOS Press, Amsterdam (2008)"},{"issue":"1","key":"7_CR4","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1197\/jamia.M1135","volume":"10","author":"M. Peleg","year":"2003","unstructured":"Peleg, M., Tu, S., Bury, J., Ciccarese, P., Fox, J., Greenes, R.A., Hall, R., Johnson, P.D., Jones, N., Kumar, A., Miksch, S., Quaglini, S., Seyfang, A., Shortliffe, E.H., Stefanelli, M.: Comparing computer-interpretable guideline models: a case-study approach. Journal of the American Medical Informatics Association\u00a010(1), 52\u201368 (2003)","journal-title":"Journal of the American Medical Informatics Association"},{"key":"7_CR5","unstructured":"Miksch, S., Shahar, Y., Johnson, P.: Asbru: a task-specific, intention-based, and time-oriented language for representing skeletal plans. In: Proc. 7th Workshop on Knowledge Engeneering Methods and Languages, pp. 9\u201320 (1997)"},{"issue":"6","key":"7_CR6","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1136\/jamia.1996.97084511","volume":"3","author":"M.A. Musen","year":"1996","unstructured":"Musen, M.A., Tu, S.W., Das, A.K., Shahar, Y.: EON: a component-based approach to automation of protocol-directed therapy. Journal of the American Medical Informatics Association\u00a03(6), 367\u2013388 (1996)","journal-title":"Journal of the American Medical Informatics Association"},{"issue":"4","key":"7_CR7","first-page":"357","volume":"5","author":"L. Ohno-Machado","year":"1998","unstructured":"Ohno-Machado, L., Gennari, J.H., Murphy, S., Jain, N.L., Tu, S.W., Oliver, D.E., et al.: The guideline interchange format: a model for representing guidelines. JAMIA\u00a05(4), 357\u2013372 (1998)","journal-title":"JAMIA"},{"key":"7_CR8","unstructured":"Peleg, M., Boxawala, A.A., et al.: GLIF3: The evolution of a guideline representation format. In: Proc. AMIA 2000, pp. 645\u2013649 (2000)"},{"issue":"1","key":"7_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0933-3657(00)00050-6","volume":"20","author":"S. Quaglini","year":"2000","unstructured":"Quaglini, S., Stefanelli, M., Cavallini, A., Miceli, G., Fassino, C., Mossa, C.: Guideline-based careflow systems. Artificial Intelligence in Medicine\u00a020(1), 5\u201322 (2000)","journal-title":"Artificial Intelligence in Medicine"},{"key":"7_CR10","unstructured":"Johnson, P.D., Tu, S.W., Booth, N., Sugden, B., Purves, I.N.: Using scenarios in chronic disease management guidelines for primary care. In: Proc. AMIA Annu. Fall Symp., pp. 389\u2013393 (2000)"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0933-3657(98)00021-9","volume":"14","author":"J. Fox","year":"1998","unstructured":"Fox, J., Johns, N., Rahmanzadeh, A., Thomson, R.: Disseminating medical knowledge: the PROforma approach. Artificial Intelligence in Medicine\u00a014, 157\u2013181 (1998)","journal-title":"Artificial Intelligence in Medicine"},{"key":"7_CR12","volume-title":"Computer-based medical guidelines and protocols: a primer and current trends","author":"F. Chesani","year":"2008","unstructured":"Chesani, F., Lamma, E., Mello, P., Montali, M., Storari, S., Baldazzi, P., Manfredi, M.: Compliance checking of cancer-screening careflows: an approach based on computational logic. In: ten Teije, A., Miksch, S., Lucas, P. (eds.) Computer-based medical guidelines and protocols: a primer and current trends. IOS Press, Amsterdam (2008)"},{"key":"7_CR13","first-page":"145","volume-title":"Proceedings of 4th International Conference on Intelligent Systems Design and Applications, ISDA 2004","author":"D. Isern","year":"2004","unstructured":"Isern, D., Moreno, A.: Distributed guideline-based health care system. In: Proceedings of 4th International Conference on Intelligent Systems Design and Applications, ISDA 2004, pp. 145\u2013150. IEEE Press, Budapest (2004)"},{"key":"7_CR14","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1055\/s-0038-1633885","volume":"43","author":"S. Skonetzki","year":"2004","unstructured":"Skonetzki, S., Gausepohl, H.J., van der Haak, M., Knaebel, S., Linderkamp, O., Wetter, T.: HELEN, a Modular Framework for Representing and Implementing Clinical Practice Guidelines. Methods Inf. Med.\u00a043, 413\u2013426 (2004)","journal-title":"Methods Inf. Med."},{"key":"7_CR15","unstructured":"Dube, K.: A Generic approach to supporting the management of computerised clinical guidelines and protocols, PhD thesis, Institute of Technology, Dublin, Ireland (2004)"},{"key":"7_CR16","volume-title":"Computer-based medical guidelines and protocols: a primer and current trends","author":"P. Terenziani","year":"2008","unstructured":"Terenziani, P., Montani, S., Bottrighi, A., Molino, G., Torchio, M.: Applying artificial intelligence to clinical guidelines: the GLARE approach. In: ten Teije, A., Miksch, S., Lucas, P. (eds.) Computer-based medical guidelines and protocols: a primer and current trends. IOS Press, Amsterdam (2008)"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/S1386-5056(01)00189-7","volume":"64","author":"P.A. Clercq De","year":"2001","unstructured":"De Clercq, P.A., Hasman, A., Blom, J.A., Korsten, H.H.M.: Design and implementation of a framework to support the development of clinical guidelines. International Journal of Medical Informatics\u00a064, 285\u2013318 (2001)","journal-title":"International Journal of Medical Informatics"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"3217","DOI":"10.1109\/IEMBS.2004.1403906","volume-title":"Proceedings of 26th Annual Conference of the IEEE Engineering in Medicine and Biology Society (IEBMS 2004)","author":"D. Berg","year":"2004","unstructured":"Berg, D., Ram, P., Glasgow, J.: SAGEDesktop: an environment for testing clinical practice guidelines. In: Proceedings of 26th Annual Conference of the IEEE Engineering in Medicine and Biology Society (IEBMS 2004), San Francisco, USA, vol.\u00a02, pp. 3217\u20133220. IEEE Press, Los Alamitos (2004)"},{"key":"7_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/11875604_39","volume-title":"Foundations of Intelligent Systems","author":"F. Chesani","year":"2006","unstructured":"Chesani, F., De Matteis, P., Mello, P., Montali, M., Storari, S.: A framework for defining and verifying clinical guidelines: A case study on cancer screening. In: Esposito, F., Ra\u015b, Z.W., Malerba, D., Semeraro, G. (eds.) ISMIS 2006. LNCS (LNAI), vol.\u00a04203, pp. 338\u2013343. Springer, Heidelberg (2006)"},{"issue":"4","key":"7_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1380572.1380578","volume":"9","author":"M. Alberti","year":"2008","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Transactions on Computational Logic\u00a09(4), 1\u201343 (2008)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"2","key":"7_CR21","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1378\/chest.114.2_Supplement.133S","volume":"114","author":"R.S. Irwin","year":"1998","unstructured":"Irwin, R.S., Boulet, L.S., Cloutier, M.M., et al.: Managing cough as a defense mechanism and as a symptom: a consensus panel report of the American College of Chest Physicians. Chest\u00a0114(2), 133\u2013181 (1998)","journal-title":"Chest"},{"key":"7_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1378\/chest.129.1.1","volume":"129","author":"R.S. Irwin","year":"2006","unstructured":"Irwin, R.S., Baumann, M.H., Bolser, D.C., Boulet, L.P., Braman, S.S., Brightling, C.E., Brown, K.K., Canning, B.J., Chang, A.B., Dicpinigaitis, P.V., Eccles, R., Brendle Glomb, W., Goldstein, L.B., Graham, L.M., Hargreave, F.E., Kvale, P.A., Zelman Lewis, S., McCool, F.D., McCrory, D.C., Prakash, U.B.S., Pratter, M.R., Rosen, M.J., Schulman, E., Shannon, J.J., Hammond, C.S., Tarlo, S.M.: Diagnosis and management of cough executive summary: ACCP evidence-based clinical practice guidelines. Chest\u00a0129, 1\u201323 (2006)","journal-title":"Chest"},{"key":"7_CR23","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.artmed.2006.03.007","volume":"38","author":"L. Anselma","year":"2006","unstructured":"Anselma, L., Terenziani, P., Montani, S., Bottrighi, A.: Towards a comprehensive treatment of repetitions, periodicity and temporal constraints in clinical guidelines. Artificial Intelligence in Medicine\u00a038, 171\u2013195 (2006)","journal-title":"Artificial Intelligence in Medicine"},{"key":"7_CR24","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19-20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.J.: Constraint logic programming: a survey. JLP\u00a019-20, 503\u2013582 (1994)","journal-title":"JLP"},{"key":"7_CR25","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1002\/int.20149","volume":"21","author":"S. Montani","year":"2006","unstructured":"Montani, S., Terenziani, P.: Exploiting decision theory concepts within clinical guideline systems: towards a general approach. International Journal of Intelligent System\u00a021, 585\u2013599 (2006)","journal-title":"International Journal of Intelligent System"},{"key":"7_CR26","unstructured":"Prot\u00e9g\u00e9 ontology editor, \n                    \n                      http:\/\/protege.stanford.edu\/"},{"key":"7_CR27","unstructured":"The SCIFF abductive proof procedure, \n                    \n                      http:\/\/lia.deis.unibo.it\/Research\/sciff\/"},{"key":"7_CR28","series-title":"Primer and Reference Manual","volume-title":"The SPIN Model Checker","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker. Primer and Reference Manual. Addison-Wesley, Reading (2003)"},{"key":"7_CR29","first-page":"169","volume-title":"Proc. MEDINFO 2004","author":"P. Terenziani","year":"2004","unstructured":"Terenziani, P., Montani, S., Bottrighi, A., Torchio, M., Molino, G., Correndo, G.: A context-adaptable approach to clinical guidelines. In: Fieschi, M., et al. (eds.) Proc. MEDINFO 2004, pp. 169\u2013173. IOS Press, Amsterdam (2004)"},{"key":"7_CR30","unstructured":"Terenziani, P., Montani, S., Bottrighi, A., Torchio, M., Molino, G.: Supporting physicians in taking decisions in clinical guidelines: the GLARE \u201cwhat-if\u201d facility. In: JAMIA Symposium supplement, pp. 772\u2013776 (2002)"},{"key":"7_CR31","series-title":"LNAI","first-page":"91","volume-title":"AIME 2009","author":"A. Bottrighi","year":"2009","unstructured":"Bottrighi, A., Chesani, F., Mello, P., Molino, G., Montali, M., Montani, S., Storari, S., Terenziani, P., Torchio, M.: A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. In: Combi, C., Shahar, Y., Abu-Hanna, A. (eds.) AIME 2009. LNCS (LNAI), vol.\u00a05651, pp. 91\u201395. Springer, Berlin (2009)"}],"container-title":["Lecture Notes in Computer Science","Knowledge Representation for Health-Care. Data, Processes and Guidelines"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11808-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,19]],"date-time":"2019-01-19T08:11:30Z","timestamp":1547885490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11808-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642118074","9783642118081"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11808-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}