{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T21:36:58Z","timestamp":1771018618529,"version":"3.50.1"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319132808","type":"print"},{"value":"9783319132815","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-13281-5_4","type":"book-chapter","created":{"date-parts":[[2014,12,4]],"date-time":"2014-12-04T08:32:12Z","timestamp":1417681932000},"page":"45-61","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Using First-Order Logic to Represent Clinical Practice Guidelines and to Mitigate Adverse Interactions"],"prefix":"10.1007","author":[{"given":"Szymon","family":"Wilk","sequence":"first","affiliation":[]},{"given":"Martin","family":"Michalowski","sequence":"additional","affiliation":[]},{"given":"Xing","family":"Tan","sequence":"additional","affiliation":[]},{"given":"Wojtek","family":"Michalowski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,12,5]]},"reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/S0933-3657(00)00098-1","volume":"22","author":"G Duftschmid","year":"2001","unstructured":"Duftschmid, G., Miksch, S.: Knowledge-based verification of clinical guidelines by detection of anomalies. Artif. Intell. Med. 22(1), 23\u201341 (2001)","journal-title":"Artif. Intell. Med."},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1016\/j.jbi.2010.06.002","volume":"43","author":"J Fox","year":"2010","unstructured":"Fox, J., Glasspool, D., Patkar, V., Austin, M., Black, L., South, M., Robertson, D., Vincent, C.: Delivering clinical decision support services: there is nothing as practical as a good theory. J. Biomed. Inform. 43, 831\u2013843 (2010)","journal-title":"J. Biomed. Inform."},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-03262-2_11","volume-title":"Knowledge Management for Health Care Procedures","author":"D Isern","year":"2009","unstructured":"Isern, D., Moreno, A., Pedone, G., S\u00e1nchez, D., Varga, L.Z.: Home care personalisation with individual intervention plans. In: Ria\u00f1o, D. (ed.) K4HelP 2008. LNCS (LNAI), vol. 5626, pp. 134\u2013151. Springer, Heidelberg (2009)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-642-38326-7_5","volume-title":"Artificial Intelligence in Medicine","author":"B Jafarpour","year":"2013","unstructured":"Jafarpour, B., Abidi, S.S.R.: Merging disease-specific clinical guidelines to handle comorbidities in a clinical decision support setting. In: Peek, N., Mar\u00edn Morales, R., Peleg, M. (eds.) AIME 2013. LNCS, vol. 7885, pp. 28\u201332. Springer, Heidelberg (2013)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-642-36438-9_2","volume-title":"Process Support and Knowledge Representation in Health Care","author":"JA L\u00f3pez-Vallverd\u00fa","year":"2013","unstructured":"L\u00f3pez-Vallverd\u00fa, J.A., Ria\u00f1o, D., Collado, A.: Rule-Based Combination of comorbid treatments for chronic diseases applied to hypertension, diabetes mellitus and heart failure. In: Lenz, R., Miksch, S., Peleg, M., Reichert, M., Ria\u00f1o, D., ten Teije, A. (eds.) ProHealth 2012 and KR4HC 2012. LNCS (LNAI), vol. 7738, pp. 30\u201341. Springer, Heidelberg (2013)"},{"key":"4_CR6","unstructured":"McCune, W.: Prover9 and Mace4 (2005). http:\/\/www.cs.unm.edu\/mccune\/prover9"},{"key":"4_CR7","unstructured":"Michalowski, M., Wilk, S., Lin, D., Michalowski, W., Tan, X., Mohapatra, S.: Procedural approach to mitigating concurrently applied clinical practice guidelines. In: Proceedings of the First Workshop on Expanding the Boundaries of Health Informatics Using Artificial Intelligence (HIAI13) (2013)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-38326-7_3","volume-title":"Artificial Intelligence in Medicine","author":"M Michalowski","year":"2013","unstructured":"Michalowski, M., Wilk, S., Michalowski, W., Lin, D., Farion, K., Mohapatra, S.: Using constraint logic programming to implement iterative actions and numerical measures during mitigation of concurrently applied clinical practice guidelines. In: Peek, N., Mar\u00edn Morales, R., Peleg, M. (eds.) AIME 2013. LNCS, vol. 7885, pp. 17\u201322. Springer, Heidelberg (2013)"},{"key":"4_CR9","unstructured":"National Institute for Health and Clinical Excellence (NICE): NICE pathways (2014). http:\/\/pathways.nice.org.uk\/"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-540-71070-7_23","volume-title":"Automated Reasoning","author":"J Otten","year":"2008","unstructured":"Otten, J.: leanCoP 2.0 and ileanCoP 1.2: high performance lean theorem proving in classical and intuitionistic logic (system descriptions). In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 283\u2013291. Springer, Heidelberg (2008)"},{"key":"4_CR11","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-642-41360-5_9","volume-title":"Knowledge Engineering and the Semantic Web","author":"V Pavlov","year":"2013","unstructured":"Pavlov, V., Schukin, A., Cherkasova, T.: Exploring automated reasoning in first-order logic: tools, techniques and application areas. In: Klinov, P., Mouromtsev, D. (eds.) KESW 2013. CCIS, vol. 394, pp. 102\u2013116. Springer, Heidelberg (2013)"},{"issue":"4","key":"4_CR12","doi-asserted-by":"publisher","first-page":"744","DOI":"10.1016\/j.jbi.2013.06.009","volume":"46","author":"M Peleg","year":"2013","unstructured":"Peleg, M.: Computer-interpretable clinical guidelines: a methodological review. J. Biomed. Inform. 46(4), 744\u2013763 (2013)","journal-title":"J. Biomed. Inform."},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-642-27697-2_5","volume-title":"Knowledge Representation for Health-Care","author":"M Peleg","year":"2012","unstructured":"Peleg, M., Tu, S.W., Leonardi, G., Quaglini, S., Russo, P., Palladini, G., Merlini, G.: Reasoning with effects of clinical guideline actions using OWL: al amyloidosis as a case study. In: Ria\u00f1o, D., ten Teije, A., Miksch, S. (eds.) KR4HC 2011. LNCS (LNAI), vol. 6924, pp. 65\u201379. Springer, Heidelberg (2012)"},{"issue":"4","key":"4_CR14","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1016\/j.jbi.2010.02.009","volume":"43","author":"B Perez","year":"2010","unstructured":"Perez, B., Porres, I.: Authoring and verification of clinical guidelines: a model driven approach. J. Biomed. Inform. 43(4), 520\u2013536 (2010)","journal-title":"J. Biomed. Inform."},{"issue":"3","key":"4_CR15","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1016\/j.jbi.2011.12.008","volume":"45","author":"D Ria\u00f1o","year":"2012","unstructured":"Ria\u00f1o, D., Real, F., Lopez-Vallverdu, J.A., Campana, F., Ercolani, S., Mecocci, P., Annicchiarico, R., Caltagirone, C.: An ontology-based personalization of health-care knowledge to support clinical decisions for chronically ill patients. J. Biomed. Inform. 45(3), 429\u2013446 (2012)","journal-title":"J. Biomed. Inform."},{"issue":"6","key":"4_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.otohns.2009.04.015","volume":"140","author":"R Rosenfeld","year":"2009","unstructured":"Rosenfeld, R., Shiffman, R.: Clinical practice guideline development manual: a quality-driven approach for translating evidence into action. Otolaryngol. Head Neck Surg. 140(6), 1\u201343 (2009)","journal-title":"Otolaryngol. Head Neck Surg."},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1016\/j.jbi.2007.09.003","volume":"41","author":"D Sittig","year":"2008","unstructured":"Sittig, D., Wright, A., Osheroff, J., Middleton, B., Teich, J., Ash, J., Campbell, E., Bates, D.: Grand challenges in clinical decision support. J. Biomed. Inform. 41, 387\u2013392 (2008)","journal-title":"J. Biomed. Inform."},{"issue":"3","key":"4_CR18","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/j.artmed.2005.10.006","volume":"36","author":"A ten Teije","year":"2006","unstructured":"ten Teije, A., Marcos, M., Balser, M., van Croonenborg, J., Duelli, C., van Harmelen, F., Lucas, P., Miksch, S., Reif, W., Rosenbrand, K., Seyfang, A.: Improving medical protocols by formal methods. Artif. Intell. Med. 36(3), 193\u2013209 (2006)","journal-title":"Artif. Intell. Med."},{"issue":"2","key":"4_CR19","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/j.jbi.2013.01.002","volume":"46","author":"S Wilk","year":"2013","unstructured":"Wilk, S., Michalowski, W., Michalowski, M., Farion, K., Hing, M., Mohapatra, S.: Automatic mitigation of adverse interactions in pairs of clinical practice guidelines using constraint logic programming. J. Biomed. Inform. 46(2), 341\u2013353 (2013)","journal-title":"J. Biomed. Inform."},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-642-36675-8_5","volume-title":"Automated Reasoning and Mathematics","author":"H Zhang","year":"2013","unstructured":"Zhang, H., Zhang, J.: MACE4 and SEM: a comparison of finite model generators. In: Bonacina, M.P., Stickel, M.E. (eds.) Automated Reasoning and Mathematics. LNCS, vol. 7788, pp. 101\u2013130. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Knowledge Representation for Health Care"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-13281-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T02:22:56Z","timestamp":1676427776000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-13281-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319132808","9783319132815"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13281-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"5 December 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}