{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:32:35Z","timestamp":1725471155761},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540457640"},{"type":"electronic","value":"9783540457664"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11875604_39","type":"book-chapter","created":{"date-parts":[[2006,9,22]],"date-time":"2006-09-22T09:19:18Z","timestamp":1158916758000},"page":"338-343","source":"Crossref","is-referenced-by-count":5,"title":["A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening"],"prefix":"10.1007","author":[{"given":"Federico","family":"Chesani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pietro","family":"De Matteis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergio","family":"Storari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"39_CR1","unstructured":"Societies Of ComputeeS (SOCS), IST-2001-32530 (2006), http:\/\/lia.deis.unibo.it\/research\/socs\/"},{"key":"39_CR2","unstructured":"Romagna, E.: Colorectal cancer screening in the Emilia Romagna region of Italy (2006), http:\/\/www.saluter.it\/colon\/documentazione.htm"},{"key":"39_CR3","unstructured":"Chesani, F., Ciampolini, A., Mello, P., Montali, M., Storari, S.: Testing guidelines conformance by translating a graphical language to computational logic. In: Proceedings of the ECAI 2006 workshop on AI techniques in healthcare: evidence-based guidelines and protocols (to appear, 2006)"},{"key":"39_CR4","unstructured":"Protege (2006), http:\/\/stanford.protege.org"},{"key":"39_CR5","doi-asserted-by":"crossref","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interactions using social integrity constraints. Electronic Notes in Theoretical Computer Science\u00a085(2) (2003)","DOI":"10.1016\/S1571-0661(05)82605-2"},{"key":"39_CR6","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.: Constraint logic programming: a survey. J. of Logic Programming\u00a019-20, 503\u2013582 (1994)","journal-title":"J. of Logic Programming"},{"key":"39_CR7","unstructured":"The SCIFF Abductive Proof Procedure (2006), http:\/\/lia.deis.unibo.it\/research\/sciff\/"},{"key":"39_CR8","first-page":"162","volume":"101","author":"P. Terenziani","year":"2004","unstructured":"Terenziani, P., Montani, S., Bottrighi, A., Torchio, M., Molino, G., Correndo, G.: The glare approach to clinical guidelines: main features. Stud.\u00a0Health\u00a0Tech.\u00a0Inf.\u00a0101, 162\u2013166 (2004)","journal-title":"Stud.\u00a0Health\u00a0Tech.\u00a0Inf."},{"key":"39_CR9","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.: Disseminating medical knowledge-the proforma approach. Artificial Intelligence in Medicine\u00a014, 157\u2013181 (1998)","journal-title":"Artificial Intelligence in Medicine"},{"key":"39_CR10","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Business alignment: Using process mining as a tool for delta analysis and conformance testing. Requirements Engineering Journal (to appear, 2006)","DOI":"10.1007\/s00766-005-0001-x"}],"container-title":["Lecture Notes in Computer Science","Foundations of Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11875604_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T04:38:24Z","timestamp":1555821504000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11875604_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540457640","9783540457664"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11875604_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}