{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T13:51:38Z","timestamp":1772200298459,"version":"3.50.1"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031408366","type":"print"},{"value":"9783031408373","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-40837-3_11","type":"book-chapter","created":{"date-parts":[[2023,8,21]],"date-time":"2023-08-21T23:02:25Z","timestamp":1692658945000},"page":"170-187","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Enhancing Trust in Machine Learning Systems by Formal Methods"],"prefix":"10.1007","author":[{"given":"Christina","family":"Tavolato-W\u00f6tzl","sequence":"first","affiliation":[]},{"given":"Paul","family":"Tavolato","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,8,22]]},"reference":[{"key":"11_CR1","volume-title":"The Nature of Explanation","author":"P Achinstein","year":"1983","unstructured":"Achinstein, P.: The Nature of Explanation. Oxford University Press, New York (1983)"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"52138","DOI":"10.1109\/ACCESS.2018.2870052","volume":"6","author":"A Adadi","year":"2018","unstructured":"Adadi, A., Berrada, M.: Peeking inside the black-box: a survey on explainable artificial intelligence (XAI). IEEE Access 6, 52138\u201352160 (2018)","journal-title":"IEEE Access"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Arras, L., Osman, A., M\u00fcller, K.-R., Samek, W.: Evaluating recurrent neural network explanations. In: Proceedings of the 2019 ACL Workshop BlackboxNLP: Analyzing and Interpreting Neural Networks for NLP, pp. 113\u2013126 (2019)","DOI":"10.18653\/v1\/W19-4813"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/j.inffus.2019.12.012","volume":"58","author":"AB Arrieta","year":"2020","unstructured":"Arrieta, A.B., et al.: Explainable artificial intelligence (XAI): concepts, taxonomies, opportunities and challenges toward responsible AI. Inf. Fusion 58, 82\u2013115 (2020)","journal-title":"Inf. Fusion"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Atakishiyev, S., et al.: A multi-component framework for the analysis and design of explainable artificial intelligence. Mach. Learn. Knowl. Extr. 3, 900\u2013921 (2021)","DOI":"10.3390\/make3040045"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"e0130140","DOI":"10.1371\/journal.pone.0130140","volume":"10","author":"S Bach","year":"2015","unstructured":"Bach, S., et al.: On pixel-wise explanations for non-linear classifier decisions by layer-wise relevance propagation. PLoS ONE 10, e0130140 (2015)","journal-title":"PLoS ONE"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Dur\u00e1n, J.: Dissecting scientific explanation in AI (sXAI): a case for medicine and healthcare. Artif. Intell. 297(C), 103498 (2021)","DOI":"10.1016\/j.artint.2021.103498"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.5714","volume":"61","author":"R Evans","year":"2018","unstructured":"Evans, R., Grefenstette, E.: Learning explanatory rules from noisy data. J. Artif. Intell. Res. 61, 1\u201364 (2018)","journal-title":"J. Artif. Intell. Res."},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3236009","volume":"51","author":"R Guidotti","year":"2018","unstructured":"Guidotti, R., et al.: A survey of methods for explaining black box models. ACM Comput. Surv. (CSUR) 51, 1\u201342 (2018)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Gunning, D.: DARPA\u2019s explainable artificial intelligence (XAI) program (2019)","DOI":"10.1145\/3301275.3308446"},{"key":"11_CR11","unstructured":"Habermas, J.: Communication and the Evolution of Society. Toronto: Beacon Press. The book contains translations of 5 essays by Habermas. The quotation is taken from the first essay \u201cWhat Is Universal Pragmatics\u201d, p. 3. The original German version \u201eWas hei\u00dft Universalpragmatik?\u201c was written 1976 and published by Suhrkamp 1984 in: Vorstudien und Erg\u00e4nzungen zur Theorie des kommunikativen Handelns, pp. 353\u2013440 (1979)"},{"key":"11_CR12","unstructured":"Hempel, C.G., Oppenheim, P.: Studies in the Logic of Explanation, 1948. In: Readings in the Philosophy of Science, pp. 8\u201338. Prentice Hall, Englewood Cliffs (1970)"},{"key":"11_CR13","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3729.001.0001","volume-title":"Induction: Processes of Inference, Learning, and Discovery","author":"J Holland","year":"1986","unstructured":"Holland, J., Holyoak, K., Nisbett, R., Thagart, P.: Induction: Processes of Inference, Learning, and Discovery. MIT Press, Cambridge (1986)"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"e1312","DOI":"10.1002\/widm.1312","volume":"9","author":"A Holzinger","year":"2019","unstructured":"Holzinger, A., et al.: Causability and explainability of artificial intelligence in medicine. Wiley Interdiscip. Rev. Data Min. Knowl. Discov. 9, e1312 (2019)","journal-title":"Wiley Interdiscip. Rev. Data Min. Knowl. Discov."},{"key":"11_CR15","doi-asserted-by":"publisher","unstructured":"Holzinger, A.: The next frontier: AI we can really trust. In: Kamp, M., et al. (eds.) Machine Learning and Principles and Practice of Knowledge Discovery in Databases. ECML PKDD 2021. CCIS, vol. 1524, pp. 427\u2013440. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-93736-2_33","DOI":"10.1007\/978-3-030-93736-2_33"},{"issue":"9","key":"11_CR16","doi-asserted-by":"publisher","first-page":"2996","DOI":"10.3390\/en15092996","volume":"15","author":"X Hou","year":"2022","unstructured":"Hou, X., Papachristopoulou, K., Saint-Drenan, Y., Kazadzis, S.: Solar radiation nowcasting using a Markov chain multi-model approach. Energies 15(9), 2996 (2022)","journal-title":"Energies"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-72522-0_6","volume-title":"Formal Methods for Performance Evaluation","author":"M Kwiatkowska","year":"2007","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 220\u2013270. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-72522-0_6"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Longo, L., et al.: Explainable artificial intelligence: concepts, applications, research challenges and visions. In: International Cross-Domain Conference for Machine Learning and Knowledge Extraction, pp. 1\u201316 (2020)","DOI":"10.1007\/978-3-030-57321-8_1"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1016\/j.futures.2017.03.006","volume":"90","author":"S Makridakis","year":"2017","unstructured":"Makridakis, S.: The forthcoming artificial intelligence (AI) revolution: its impact on society and firms. Futures 90, 46\u201360 (2017)","journal-title":"Futures"},{"key":"11_CR20","unstructured":"Miller, T., Howe, P., Sonenberg, L.: Explainable AI: Beware of inmates running the asylum or: How I learnt to stop worrying and love the social and behavioural sciences (2017). arXiv preprint arXiv:1712.00547"},{"key":"11_CR21","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S Muggleton","year":"1991","unstructured":"Muggleton, S.: Inductive logic programming. N. Gener. Comput. 8, 295\u2013318 (1991)","journal-title":"N. Gener. Comput."},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Poole, D., Goebel, R., Aleliunas, R.: A Logical Reasoning System for Defaults and Diagnosis, University of Waterloo, Dep. of Computer Science. Research Rep. CS-86-06 (1986)","DOI":"10.1007\/978-1-4612-4792-0_13"},{"key":"11_CR23","unstructured":"Pople, H.E.: On the mechanization of abductive logic. In: IJCAI\u201973: Proceedings of the 3rd International Joint Conference on Artificial Intelligence, pp. 147\u2013152 (1973)"},{"key":"11_CR24","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1002\/isaf.1422","volume":"25","author":"A Preece","year":"2018","unstructured":"Preece, A.: Asking \u2018Why\u2019 in AI: explainability of intelligent systems\u2013perspectives and challenges. Intell. Syst. Account. Financ. Manag. 25, 63\u201372 (2018)","journal-title":"Intell. Syst. Account. Financ. Manag."},{"key":"11_CR25","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1038\/s42256-019-0048-x","volume":"1","author":"C Rudin","year":"2019","unstructured":"Rudin, C.: Stop explaining black box machine learning models for high stakes decisions and use interpretable models instead. Nat. Mach. Intell. 1, 206\u2013215 (2019)","journal-title":"Nat. Mach. Intell."},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Singla, P., Duhan, M., Saroha, S.: A comprehensive review and analysis of solar forecasting techniques. Front. Energy 16, 187\u2013223 (2022)","DOI":"10.1007\/s11708-021-0722-7"},{"key":"11_CR27","doi-asserted-by":"publisher","DOI":"10.1093\/0198244274.001.0001","volume-title":"The Scientific Image","author":"BC van Fraassen","year":"1980","unstructured":"van Fraassen, B.C.: The Scientific Image. Clarendon Press, Oxford (1980)"},{"key":"11_CR28","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1016\/j.renene.2016.12.095","volume":"105","author":"C Voyant","year":"2017","unstructured":"Voyant, C., et al.: Machine learning methods for solar radiation forecasting: a review. Renew. Energy 105, 569\u2013582 (2017)","journal-title":"Renew. Energy"},{"issue":"1","key":"11_CR29","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1631\/FITEE.1700808","volume":"19","author":"Q-S Zhang","year":"2018","unstructured":"Zhang, Q.-S., Zhu, S.-C.: Visual interpretability for deep learning: a survey. Front. Inf. Technol. Electron. Eng. 19(1), 27\u201339 (2018). https:\/\/doi.org\/10.1631\/FITEE.1700808","journal-title":"Front. Inf. Technol. Electron. Eng."},{"key":"11_CR30","unstructured":"https:\/\/en.allmetsat.com. Accessed 01 Mar 2023"},{"key":"11_CR31","unstructured":"earthobservatory.nasa.gov\/features\/ColorImage?msclkid=21fe225da5ff11ec941903202028b5d1. Accessed 01 Mar 2023"}],"container-title":["Lecture Notes in Computer Science","Machine Learning and Knowledge Extraction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-40837-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T14:22:48Z","timestamp":1729952568000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-40837-3_11"}},"subtitle":["With an Application to a Meteorological Problem"],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031408366","9783031408373"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-40837-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"22 August 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CD-MAKE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Cross-Domain Conference for Machine Learning and Knowledge Extraction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Benevento","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 August 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cd-make2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cd-make.net\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"60% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}