{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T09:58:50Z","timestamp":1774778330470,"version":"3.50.1"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031711695","type":"print"},{"value":"9783031711701","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-71170-1_16","type":"book-chapter","created":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T12:02:14Z","timestamp":1725883334000},"page":"175-191","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["ECATS: Explainable-by-Design Concept-Based Anomaly Detection for\u00a0Time Series"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1585-6576","authenticated-orcid":false,"given":"Irene","family":"Ferfoglia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-2948-7705","authenticated-orcid":false,"given":"Gaia","family":"Saveri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2263-9342","authenticated-orcid":false,"given":"Laura","family":"Nenzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8874-4001","authenticated-orcid":false,"given":"Luca","family":"Bortolussi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,10]]},"reference":[{"key":"16_CR1","unstructured":"Barbiero, P., et al.: Interpretable neural-symbolic concept reasoning. In: Krause, A., Brunskill, E., Cho, K., Engelhardt, B., Sabato, S., Scarlett, J. (eds.) International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA. Proceedings of Machine Learning Research, vol.\u00a0202, pp. 1801\u20131825. PMLR (2023)"},{"key":"16_CR2","doi-asserted-by":"publisher","unstructured":"Bombara, G., Vasile, C.I., Penedo, F., Yasuoka, H., Belta, C.: A decision tree approach to data classification using signal temporal logic. In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control. HSCC \u201916, New York, NY, USA, pp. 1\u201310. Association for Computing Machinery (2016). https:\/\/doi.org\/10.1145\/2883817.2883843,","DOI":"10.1145\/2883817.2883843"},{"key":"16_CR3","doi-asserted-by":"publisher","unstructured":"Bortolussi, L., Gallo, G.M., Kret\u00ednsk\u00fd, J., Nenzi, L.: Learning model checking and the kernel trick for signal temporal logic on stochastic processes. In: Fisman, D., Rosu, G. (eds.) TACAS 2022, Part I. LNCS, vol. 13243, pp. 281\u2013300. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-99524-9_15","DOI":"10.1007\/978-3-030-99524-9_15"},{"issue":"4","key":"16_CR4","doi-asserted-by":"publisher","first-page":"966","DOI":"10.3390\/make3040048","volume":"3","author":"V Buhrmester","year":"2021","unstructured":"Buhrmester, V., M\u00fcnch, D., Arens, M.: Analysis of explainers of black box deep neural networks for computer vision: a survey. Mach. Learn. Knowl. Extract. 3(4), 966\u2013989 (2021)","journal-title":"Mach. Learn. Knowl. Extract."},{"key":"16_CR5","unstructured":"Chen, C., Li, O., Tao, C., Barnett, A.J., Su, J., Rudin, C.: This looks like that: Deep learning for interpretable image recognition (2019)"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Chen, C.F., Fan, Q., Panda, R.: Crossvit: cross-attention multi-scale vision transformer for image classification (2021)","DOI":"10.1109\/ICCV48922.2021.00041"},{"key":"16_CR7","unstructured":"Darban, Z.Z., Webb, G.I., Pan, S., Aggarwal, C.C., Salehi, M.: Deep learning for time series anomaly detection: a survey (2022)"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/978-3-642-39799-8_19","volume-title":"Computer Aided Verification","author":"A Donz\u00e9","year":"2013","unstructured":"Donz\u00e9, A., Ferr\u00e8re, T., Maler, O.: Efficient robust monitoring for STL. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 264\u2013279. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_19"},{"key":"16_CR9","unstructured":"European Commission: Regulation (EU) 2016\/679 of the European Parliament and of the Council of 27 April 2016 on the protection of natural persons with regard to the processing of personal data and on the free movement of such data, and repealing Directive 95\/46\/EC (General Data Protection Regulation) (Text with EEA relevance) (2016). https:\/\/eur-lex.europa.eu\/eli\/reg\/2016\/679\/oj"},{"key":"16_CR10","unstructured":"Ge, W., Huh, J.W., Park, Y.R., Lee, J.H., Kim, Y.H., Turchin, A.: An interpretable ICU mortality prediction model based on logistic regression and recurrent neural networks with LSTM units. In: AMIA Annual Symposium Proceedings, vol.\u00a02018, p.\u00a0460. American Medical Informatics Association (2018)"},{"key":"16_CR11","unstructured":"Ghorbani, A., Wexler, J., Zou, J., Kim, B.: Towards automatic concept-based explanations (2019)"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-319-90869-4_6","volume-title":"Towards Digital Enlightenment","author":"D Helbing","year":"2019","unstructured":"Helbing, D.: Societal, economic, ethical and legal challenges of the digital revolution: from big data to deep learning, artificial intelligence, and manipulative technologies. In: Helbing, D. (ed.) Towards Digital Enlightenment, pp. 47\u201372. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-90869-4_6"},{"key":"16_CR13","doi-asserted-by":"publisher","unstructured":"Ho, A.: Deep ethical learning: Taking the interplay of human and artificial intelligence seriously. Hastings Center Report 49, 36\u201339 (2019). https:\/\/doi.org\/10.1002\/hast.977","DOI":"10.1002\/hast.977"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-030-70296-0_6","volume-title":"Advances in Artificial Intelligence and Applied Cognitive Computing","author":"M Iman","year":"2021","unstructured":"Iman, M., Arabnia, H.R., Branchinst, R.M.: Pathways to artificial general intelligence: a brief overview of developments and ethical issues via artificial intelligence, machine learning, deep learning, and data science. In: Arabnia, H.R., Ferens, K., de la Fuente, D., Kozerenko, E.B., Olivas Varela, J.A., Tinetti, F.G. (eds.) Advances in Artificial Intelligence and Applied Cognitive Computing, pp. 73\u201387. Springer International Publishing, Cham (2021)"},{"key":"16_CR15","doi-asserted-by":"publisher","unstructured":"Jones, A., Kong, Z., Belta, C.: Anomaly detection in cyber-physical systems: a formal methods approach, vol.\u00a02015 (2014). https:\/\/doi.org\/10.1109\/CDC.2014.7039487","DOI":"10.1109\/CDC.2014.7039487"},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"1662","DOI":"10.1109\/access.2017.2779939","volume":"6","author":"F Karim","year":"2018","unstructured":"Karim, F., Majumdar, S., Darabi, H., Chen, S.: LSTM fully convolutional networks for time series classification. IEEE Access 6, 1662\u20131669 (2018). https:\/\/doi.org\/10.1109\/access.2017.2779939","journal-title":"IEEE Access"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Kashiparekh, K., Narwariya, J., Malhotra, P., Vig, L., Shroff, G.: ConvTimeNet: a pre-trained deep convolutional neural network for time series classification (2019)","DOI":"10.1109\/IJCNN.2019.8852105"},{"key":"16_CR18","unstructured":"Kazhdan, D., Dimanov, B., Jamnik, M., Li\u00c3\u00b2, P., Weller, A.: Now you see me (CME): concept-based model extraction (2020)"},{"key":"16_CR19","unstructured":"Koh, P.W., et al.: Concept bottleneck models. In: III, H.D., Singh, A. (eds.) Proceedings of the 37th International Conference on Machine Learning. Proceedings of Machine Learning Research, vol.\u00a0119, pp. 5338\u20135348. PMLR (2020). https:\/\/proceedings.mlr.press\/v119\/koh20a.html"},{"key":"16_CR20","doi-asserted-by":"publisher","DOI":"10.1016\/j.chb.2022.107539","volume":"139","author":"B Leichtmann","year":"2023","unstructured":"Leichtmann, B., Humer, C., Hinterreiter, A., Streit, M., Mara, M.: Effects of explainable artificial intelligence on trust and human behavior in a high-risk decision task. Comput. Hum. Behav. 139, 107539 (2023). https:\/\/doi.org\/10.1016\/j.chb.2022.107539","journal-title":"Comput. Hum. Behav."},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O Maler","year":"2004","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT -2004. LNCS, vol. 3253, pp. 152\u2013166. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Mohammadinejad, S., Deshmukh, J.V., Puranic, A.G., Vazquez-Chanlatte, M., Donz\u00e9, A.: Interpretable classification of time-series data using efficient enumerative techniques. CoRR abs\/1907.10265 (2019). abs\/1907.10265","DOI":"10.1145\/3365365.3382218"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Mohammadinejad, S., Deshmukh, J.V., Puranic, A.G., Vazquez-Chanlatte, M., Donz\u00e9, A.: Interpretable classification of time-series data using efficient enumerative techniques. In: HSCC \u201920: 23rd ACM International Conference on Hybrid Systems: Computation and Control, pp. 9:1\u20139:10. ACM (2020)","DOI":"10.1145\/3365365.3382218"},{"key":"16_CR24","doi-asserted-by":"publisher","unstructured":"Nagahisarchoghaei, M., et al.: An empirical survey on explainable AI technologies: recent trends, use-cases, and categories from technical and application perspectives. Electronics 12(5) (2023). https:\/\/doi.org\/10.3390\/electronics12051092","DOI":"10.3390\/electronics12051092"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"Nenzi, L., Silvetti, S., Bartocci, E., Bortolussi, L.: A robust genetic algorithm for learning temporal specifications from data (2018)","DOI":"10.1007\/978-3-319-99154-2_20"},{"key":"16_CR26","doi-asserted-by":"publisher","unstructured":"Pigozzi, F., Nenzi, L., Medvet, E.: BUSTLE: a versatile tool for the evolutionary learning of STL specifications from data. Evol. Comput. 1\u201324 (2024). https:\/\/doi.org\/10.1162\/evco_a_00347","DOI":"10.1162\/evco_a_00347"},{"key":"16_CR27","unstructured":"Rojat, T., Puget, R., Filliat, D., Ser, J.D., Gelin, R., D\u00c3\u00adaz-Rodr\u00c3\u00adguez, N.: Explainable artificial intelligence (XAI) on timeseries data: a survey (2021)"},{"key":"16_CR28","doi-asserted-by":"publisher","unstructured":"Sahakyan, M., Aung, Z., Rahwan, T.: Explainable artificial intelligence for tabular data: a survey. IEEE Access 9, 135392\u2013135422 (2021). https:\/\/doi.org\/10.1109\/ACCESS.2021.3116481","DOI":"10.1109\/ACCESS.2021.3116481"},{"key":"16_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1007\/BFb0020217","volume-title":"Artificial Neural Networks \u2014 ICANN\u201997","author":"B Sch\u00f6lkopf","year":"1997","unstructured":"Sch\u00f6lkopf, B., Smola, A., M\u00fcller, K.-R.: Kernel principal component analysis. In: Gerstner, W., Germond, A., Hasler, M., Nicoud, J.-D. (eds.) ICANN 1997. LNCS, vol. 1327, pp. 583\u2013588. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0020217"},{"issue":"1","key":"16_CR30","doi-asserted-by":"publisher","DOI":"10.1088\/1361-6579\/aaf34d","volume":"40","author":"N Strodthoff","year":"2019","unstructured":"Strodthoff, N., Strodthoff, C.: Detecting and interpreting myocardial infarction using fully convolutional neural networks. Physiol. Meas. 40(1), 015001 (2019). https:\/\/doi.org\/10.1088\/1361-6579\/aaf34d","journal-title":"Physiol. Meas."},{"key":"16_CR31","doi-asserted-by":"publisher","first-page":"100700","DOI":"10.1109\/ACCESS.2022.3207765","volume":"10","author":"A Theissler","year":"2022","unstructured":"Theissler, A., Spinnato, F., Schlegel, U., Guidotti, R.: Explainable ai for time series classification: A review, taxonomy and research directions. IEEE Access 10, 100700\u2013100724 (2022). https:\/\/doi.org\/10.1109\/ACCESS.2022.3207765","journal-title":"IEEE Access"},{"key":"16_CR32","unstructured":"Vaswani, A., et al.: Attention is all you need (2023)"},{"key":"16_CR33","doi-asserted-by":"crossref","unstructured":"Vinayavekhin, P., et al.: Focusing on what is relevant: time-series learning and understanding using attention (2018)","DOI":"10.1109\/ICPR.2018.8545288"},{"key":"16_CR34","doi-asserted-by":"crossref","unstructured":"Wang, B., Li, L., Nakashima, Y., Nagahara, H.: Learning bottleneck concepts in image classification (2023)","DOI":"10.1109\/CVPR52729.2023.01055"},{"key":"16_CR35","doi-asserted-by":"crossref","unstructured":"Wang, Z., Yan, W., Oates, T.: Time series classification from scratch with deep neural networks: a strong baseline (2016)","DOI":"10.1109\/IJCNN.2017.7966039"},{"key":"16_CR36","unstructured":"Yeh, C.K., Kim, B., Arik, S., Li, C.L., Pfister, T., Ravikumar, P.: On completeness-aware concept-based explanations in deep neural networks. In: Larochelle, H., Ranzato, M., Hadsell, R., Balcan, M., Lin, H. (eds.) Advances in Neural Information Processing Systems, vol.\u00a033, pp. 20554\u201320565. Curran Associates, Inc. (2020)"},{"key":"16_CR37","unstructured":"Zarlenga, M.E., et al.: Concept embedding models: beyond the accuracy-explainability trade-off (2022)"},{"key":"16_CR38","doi-asserted-by":"crossref","unstructured":"Zhou, B., Khosla, A., Lapedriza, A., Oliva, A., Torralba, A.: Learning deep features for discriminative localization (2015)","DOI":"10.1109\/CVPR.2016.319"}],"container-title":["Lecture Notes in Computer Science","Neural-Symbolic Learning and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-71170-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T12:06:11Z","timestamp":1725883571000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-71170-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031711695","9783031711701"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-71170-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"10 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NeSy","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Neural-Symbolic Learning and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Barcelona","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nesy2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sites.google.com\/view\/nesy2023","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}