{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:15:42Z","timestamp":1750220142215,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,26]],"date-time":"2022-07-26T00:00:00Z","timestamp":1658793600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Union's Horizon 2020 research and innovation programme under a Marie Sklodowska-Curie grant","award":["grant agreement no. 860630"],"award-info":[{"award-number":["grant agreement no. 860630"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,26]]},"DOI":"10.1145\/3514094.3539544","type":"proceedings-article","created":{"date-parts":[[2022,7,27]],"date-time":"2022-07-27T22:25:13Z","timestamp":1658960713000},"page":"916-916","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Constructing Meaningful Explanations: Logic-based Approaches"],"prefix":"10.1145","author":[{"given":"Laura","family":"State","sequence":"first","affiliation":[{"name":"University of Pisa & Scuola Normale Superiore, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,7,27]]},"reference":[{"volume-title":"From logic programming to Prolog","author":"Apt Krzysztof","key":"e_1_3_2_1_1_1","unstructured":"Krzysztof Apt . 1997. From logic programming to Prolog . Prentice Hall . Krzysztof Apt. 1997. From logic programming to Prolog. Prentice Hall."},{"key":"e_1_3_2_1_2_1","volume-title":"Theory Construction in Computational Logic. In ICLP Workshop on Construction of Logic Programs. Wiley, 241--250","author":"Brogi Antonio","year":"1991","unstructured":"Antonio Brogi , Paolo Mancarella , Dino Pedreschi , and Franco Turini . 1991 . Theory Construction in Computational Logic. In ICLP Workshop on Construction of Logic Programs. Wiley, 241--250 . Antonio Brogi, Paolo Mancarella, Dino Pedreschi, and Franco Turini. 1991. Theory Construction in Computational Logic. In ICLP Workshop on Construction of Logic Programs. Wiley, 241--250."},{"key":"e_1_3_2_1_3_1","volume-title":"Inductive logic programming at 30: a new introduction. CoRR abs\/2008.07912","author":"Cropper Andrew","year":"2020","unstructured":"Andrew Cropper and Sebastijan Dumancic . 2020. Inductive logic programming at 30: a new introduction. CoRR abs\/2008.07912 ( 2020 ). Andrew Cropper and Sebastijan Dumancic. 2020. Inductive logic programming at 30: a new introduction. CoRR abs\/2008.07912 (2020)."},{"key":"e_1_3_2_1_4_1","volume-title":"Russell and Peter Norvig","author":"Stuart","year":"2003","unstructured":"Stuart J. Russell and Peter Norvig . 2003 . Artificial Intelligence : A Modern Approach (2 ed.). Pearson Education . Stuart J. Russell and Peter Norvig. 2003. Artificial Intelligence: A Modern Approach (2 ed.). Pearson Education."},{"key":"e_1_3_2_1_5_1","volume-title":"Logic Programming for XAI: A Technical Perspective. In ICLP Workshops (CEUR Workshop Proceedings","author":"State Laura","year":"2021","unstructured":"Laura State . 2021 . Logic Programming for XAI: A Technical Perspective. In ICLP Workshops (CEUR Workshop Proceedings , Vol. 2970). CEUR-WS.org. Laura State. 2021. Logic Programming for XAI: A Technical Perspective. In ICLP Workshops (CEUR Workshop Proceedings, Vol. 2970). CEUR-WS.org."},{"key":"e_1_3_2_1_6_1","volume-title":"Counterfactual Explanations without Opening the Black Box: Automated Decisions and the GDPR. CoRR abs\/1711.00399","author":"Wachter Sandra","year":"2017","unstructured":"Sandra Wachter , Brent D. Mittelstadt , and Chris Russell . 2017. Counterfactual Explanations without Opening the Black Box: Automated Decisions and the GDPR. CoRR abs\/1711.00399 ( 2017 ). Sandra Wachter, Brent D. Mittelstadt, and Chris Russell. 2017. Counterfactual Explanations without Opening the Black Box: Automated Decisions and the GDPR. CoRR abs\/1711.00399 (2017)."}],"event":{"name":"AIES '22: AAAI\/ACM Conference on AI, Ethics, and Society","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","AAAI"],"location":"Oxford United Kingdom","acronym":"AIES '22"},"container-title":["Proceedings of the 2022 AAAI\/ACM Conference on AI, Ethics, and Society"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3514094.3539544","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3514094.3539544","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:59:55Z","timestamp":1750186795000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3514094.3539544"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,26]]},"references-count":6,"alternative-id":["10.1145\/3514094.3539544","10.1145\/3514094"],"URL":"https:\/\/doi.org\/10.1145\/3514094.3539544","relation":{},"subject":[],"published":{"date-parts":[[2022,7,26]]},"assertion":[{"value":"2022-07-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}