{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T19:36:23Z","timestamp":1774380983477,"version":"3.50.1"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031711664","type":"print"},{"value":"9783031711671","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-71167-1_22","type":"book-chapter","created":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:02:58Z","timestamp":1725886978000},"page":"403-418","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Leveraging Neurosymbolic AI for\u00a0Slice Discovery"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7958-7841","authenticated-orcid":false,"given":"Michele","family":"Collevati","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6003-6345","authenticated-orcid":false,"given":"Thomas","family":"Eiter","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3172-723X","authenticated-orcid":false,"given":"Nelson","family":"Higuera","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,9,10]]},"reference":[{"key":"22_CR1","doi-asserted-by":"publisher","unstructured":"Badgeley, M.A., et al.: Deep learning predicts hip fracture using confounding patient and healthcare variables. NPJ Digit. Med. 2, 31 (2019). https:\/\/doi.org\/10.1038\/S41746-019-0105-1","DOI":"10.1038\/S41746-019-0105-1"},{"key":"22_CR2","doi-asserted-by":"publisher","unstructured":"Chung, Y., Kraska, T., Polyzotis, N., Tae, K.H., Whang, S.E.: Slice finder: automated data slicing for model validation. In: 35th IEEE International Conference on Data Engineering, ICDE 2019, Macao, China, April 8-11, 2019, pp. 1550\u20131553. IEEE (2019). https:\/\/doi.org\/10.1109\/ICDE.2019.00139","DOI":"10.1109\/ICDE.2019.00139"},{"key":"22_CR3","unstructured":"Community, B.O.: Blender - a 3D modelling and rendering package. Blender Foundation, Stichting Blender Foundation, Amsterdam (2018). https:\/\/www.blender.org\/"},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1613\/JAIR.1.13507","volume":"74","author":"A Cropper","year":"2022","unstructured":"Cropper, A., Dumancic, S.: Inductive logic programming at 30: a new introduction. J. Artif. Intell. Res. 74, 765\u2013850 (2022). https:\/\/doi.org\/10.1613\/JAIR.1.13507","journal-title":"J. Artif. Intell. Res."},{"issue":"1","key":"22_CR5","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/S10994-021-06089-1","volume":"111","author":"A Cropper","year":"2022","unstructured":"Cropper, A., Dumancic, S., Evans, R., Muggleton, S.H.: Inductive logic programming at 30. Mach. Learn. 111(1), 147\u2013172 (2022). https:\/\/doi.org\/10.1007\/S10994-021-06089-1","journal-title":"Mach. Learn."},{"key":"22_CR6","doi-asserted-by":"publisher","unstructured":"d\u2019Eon, G., d\u2019Eon, J., Wright, J.R., Leyton-Brown, K.: The spotlight: a general method for discovering systematic errors in deep learning models. In: FAccT \u201922: 2022 ACM Conference on Fairness, Accountability, and Transparency, Seoul, Republic of Korea, June 21 - 24, pp. 1962\u20131981 (2022). ACM (2022). https:\/\/doi.org\/10.1145\/3531146.3533240","DOI":"10.1145\/3531146.3533240"},{"key":"22_CR7","unstructured":"Eyuboglu, S., et al.: Domino: discovering systematic errors with cross modal embeddings. In: The Tenth International Conference on Learning Representations, ICLR 2022, Virtual Event, April 25-29, 2022. OpenReview.net (2022). https:\/\/openreview.net\/forum?id=FPCMqjI0jXN"},{"key":"22_CR8","unstructured":"Hedderich, M.A., Fischer, J., Klakow, D., Vreeken, J.: Label-descriptive patterns and their application to characterizing classification errors. In: Chaudhuri, K., Jegelka, S., Song, L., Szepesv\u00e1ri, C., Niu, G., Sabato, S. (eds.) International Conference on Machine Learning, ICML 2022, 17-23 July 2022, Baltimore, Maryland, USA. Proceedings of Machine Learning Research, vol.\u00a0162, pp. 8691\u20138707. PMLR (2022). https:\/\/proceedings.mlr.press\/v162\/hedderich22a.html"},{"key":"22_CR9","doi-asserted-by":"publisher","unstructured":"Hitzler, P., Sarker, M.K. (eds.): Neuro-Symbolic Artificial Intelligence: The State of the Art, Frontiers in Artificial Intelligence and Applications, vol.\u00a0342. IOS Press (2021). https:\/\/doi.org\/10.3233\/FAIA342","DOI":"10.3233\/FAIA342"},{"key":"22_CR10","doi-asserted-by":"publisher","unstructured":"Johnson, J., Hariharan, B., van\u00a0der Maaten, L., Fei-Fei, L., Zitnick, C.L., Girshick, R.B.: CLEVR: a diagnostic dataset for compositional language and elementary visual reasoning. In: 2017 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2017, Honolulu, HI, USA, July 21-26, 2017, pp. 1988\u20131997. IEEE Computer Society (2017). https:\/\/doi.org\/10.1109\/CVPR.2017.215","DOI":"10.1109\/CVPR.2017.215"},{"issue":"6","key":"22_CR11","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/3065386","volume":"60","author":"A Krizhevsky","year":"2017","unstructured":"Krizhevsky, A., Sutskever, I., Hinton, G.E.: ImageNet classification with deep convolutional neural networks. Commun. ACM 60(6), 84\u201390 (2017). https:\/\/doi.org\/10.1145\/3065386","journal-title":"Commun. ACM"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Law, M., Russo, A., Broda, K.: The ILASP system for learning Answer Set Programs (2015). www.ilasp.com","DOI":"10.1007\/978-3-319-11558-0_22"},{"key":"22_CR13","unstructured":"Law, M., Russo, A., Broda, K.: The ILASP system for inductive learning of answer set programs (2020). CoRR abs\/2005.00904. https:\/\/arxiv.org\/abs\/2005.00904"},{"key":"22_CR14","doi-asserted-by":"publisher","DOI":"10.1016\/J.NEUCOM.2023.127052","volume":"566","author":"H Li","year":"2024","unstructured":"Li, H., et al.: Scene graph generation: a comprehensive survey. Neurocomputing 566, 127052 (2024). https:\/\/doi.org\/10.1016\/J.NEUCOM.2023.127052","journal-title":"Neurocomputing"},{"key":"22_CR15","doi-asserted-by":"publisher","unstructured":"Li, Z., et al.: Super-CLEVR: a virtual benchmark to diagnose domain robustness in visual reasoning. In: IEEE\/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2023, Vancouver, BC, Canada, June 17-24, 2023, pp. 14963\u201314973. IEEE (2023). https:\/\/doi.org\/10.1109\/CVPR52729.2023.01437","DOI":"10.1109\/CVPR52729.2023.01437"},{"key":"22_CR16","doi-asserted-by":"publisher","unstructured":"Merkys, I.: crunchiness\/lernd: Lernd - implementation of $$\\partial $$ilp (2020). https:\/\/doi.org\/10.5281\/zenodo.4294059, https:\/\/github.com\/crunchiness\/lernd","DOI":"10.5281\/zenodo.4294059"},{"key":"22_CR17","doi-asserted-by":"publisher","unstructured":"Moriyama, S., Watanabe, K., Inoue, K., Takemura, A.: MOD-CL: multi-label object detection with constrained loss (2024). CoRR abs\/2403.07885. https:\/\/doi.org\/10.48550\/ARXIV.2403.07885","DOI":"10.48550\/ARXIV.2403.07885"},{"issue":"4","key":"22_CR18","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"SH Muggleton","year":"1991","unstructured":"Muggleton, S.H.: Inductive logic programming. New Gener. Comput. 8(4), 295\u2013318 (1991). https:\/\/doi.org\/10.1007\/BF03037089","journal-title":"New Gener. Comput."},{"key":"22_CR19","doi-asserted-by":"publisher","unstructured":"Oakden-Rayner, L., Dunnmon, J., Carneiro, G., R\u00e9, C.: Hidden stratification causes clinically meaningful failures in machine learning for medical imaging. In: Ghassemi, M. (ed.) ACM CHIL \u201920: ACM Conference on Health, Inference, and Learning, Toronto, Ontario, Canada, April 2-4, 2020 [delayed], pp. 151\u2013159. ACM (2020). https:\/\/doi.org\/10.1145\/3368555.3384468","DOI":"10.1145\/3368555.3384468"},{"key":"22_CR20","unstructured":"Recht, B., Roelofs, R., Schmidt, L., Shankar, V.: Do ImageNet classifiers generalize to ImageNet? In: Chaudhuri, K., Salakhutdinov, R. (eds.) Proceedings of the 36th International Conference on Machine Learning, ICML 2019, 9-15 June 2019, Long Beach, California, USA. Proceedings of Machine Learning Research, vol.\u00a097, pp. 5389\u20135400. PMLR (2019). http:\/\/proceedings.mlr.press\/v97\/recht19a.html"},{"key":"22_CR21","doi-asserted-by":"publisher","unstructured":"Redmon, J., Divvala, S.K., Girshick, R.B., Farhadi, A.: You only look once: unified, real-time object detection. In: 2016 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2016, Las Vegas, NV, USA, June 27-30, pp. 779\u2013788 (2016). IEEE Computer Society (2016). https:\/\/doi.org\/10.1109\/CVPR.2016.91","DOI":"10.1109\/CVPR.2016.91"},{"key":"22_CR22","doi-asserted-by":"publisher","unstructured":"Sagadeeva, S., Boehm, M.: SliceLine: fast, Linear-Algebra-based Slice Finding for ML Model Debugging. In: Li, G., Li, Z., Idreos, S., Srivastava, D. (eds.) SIGMOD \u201921: International Conference on Management of Data, Virtual Event, China, June 20-25, 2021, pp. 2290\u20132299. ACM (2021). https:\/\/doi.org\/10.1145\/3448016.3457323","DOI":"10.1145\/3448016.3457323"},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"Winkler, J.K., et al.: Association between surgical skin markings in dermoscopic images and diagnostic performance of a deep learning convolutional neural network for melanoma recognition. JAMA Dermatol. 155(10), 1135\u20131141 (2019). https:\/\/pubmed.ncbi.nlm.nih.gov\/31411641\/","DOI":"10.1001\/jamadermatol.2019.1735"},{"key":"22_CR24","doi-asserted-by":"publisher","unstructured":"Zhang, M., Zhang, Y., Zhang, L., Liu, C., Khurshid, S.: DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems. In: Huchard, M., K\u00e4stner, C., Fraser, G. (eds.) Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, pp. 132\u2013142. ACM (2018). https:\/\/doi.org\/10.1145\/3238147.3238187","DOI":"10.1145\/3238147.3238187"}],"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-71167-1_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:08:15Z","timestamp":1725887295000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-71167-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031711664","9783031711671"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-71167-1_22","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":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"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"}}]}}