{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T00:08:23Z","timestamp":1762560503371,"version":"3.37.3"},"reference-count":20,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2022,11,1]],"date-time":"2022-11-01T00:00:00Z","timestamp":1667260800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,11,1]],"date-time":"2022-11-01T00:00:00Z","timestamp":1667260800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,11,1]],"date-time":"2022-11-01T00:00:00Z","timestamp":1667260800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Intell. Syst."],"published-print":{"date-parts":[[2022,11,1]]},"DOI":"10.1109\/mis.2022.3198337","type":"journal-article","created":{"date-parts":[[2022,8,19]],"date-time":"2022-08-19T19:33:05Z","timestamp":1660937585000},"page":"18-26","source":"Crossref","is-referenced-by-count":10,"title":["Computing Abductive Explanations"],"prefix":"10.1109","volume":"37","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0173-0131","authenticated-orcid":false,"given":"Luciano","family":"Caroprese","sequence":"first","affiliation":[{"name":"University of Calabria, Rende, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1129-3737","authenticated-orcid":false,"given":"Ester","family":"Zumpano","sequence":"additional","affiliation":[{"name":"University of Calabria, Rende, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Bogaerts","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Brussel, Elsene, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"234","article-title":"Abduction compared with negation by failure","volume-title":"Proc. 6th Int. Conf. Log. Program.","author":"Eshghi","year":"1989"},{"key":"ref2","first-page":"385","article-title":"Generalized stable models: A semantics for abduction","volume-title":"Proc. 9th Eur. Conf. Artif. Intell.","author":"Kakas","year":"1990"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1093\/logcom\/2.6.719"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/3-540-45628-7_16"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1017\/s1471068414000271"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1016\/S0304-3975(96)00179-X"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1080\/11663081.2019.1624349"},{"key":"ref8","first-page":"1070","article-title":"The stable semantics for logic programs","volume-title":"Proc. Int. Conf. Log. Program.\/SLP","author":"Gelfond","year":"1988"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1016\/0743-1066(94)90025-6"},{"key":"ref10","first-page":"147","article-title":"On the mechanization of abductive logic","volume-title":"Proc. 3rd Int. Joint Conf. Artif. Intell.","author":"Pople","year":"1973"},{"key":"ref11","first-page":"204","article-title":"Abductive framework for nonmonotonic theory change","volume-title":"Proc. 14th Int. Joint Conf. Artif. Intell.","author":"Inoue","year":"1995"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1093\/logcom\/5.5.553"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/69.542024"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1007\/978-3-540-28645-5_7"},{"key":"ref15","first-page":"111","article-title":"Datalog grammars for abductive syntactic error diagnosis and repair","volume-title":"Proc. Natural Lang. Understanding Log. Program. Workshop","author":"Balsa","year":"1995"},{"key":"ref16","first-page":"62","article-title":"On computing all abductive explanations","volume-title":"Proc. 18th Nat. Conf. Artif. Intell., 14th Conf. Innov. Appl. Artif. Intell.","author":"Eiter","year":"2002"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1145\/1284320.1284323"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1007\/s10472-007-9069-y"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1007\/978-3-642-33353-8_11"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1007\/978-3-540-74610-2_31"}],"container-title":["IEEE Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9670\/10044570\/09855846.pdf?arnumber=9855846","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T12:11:21Z","timestamp":1706789481000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9855846\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,1]]},"references-count":20,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/mis.2022.3198337","relation":{},"ISSN":["1541-1672","1941-1294"],"issn-type":[{"type":"print","value":"1541-1672"},{"type":"electronic","value":"1941-1294"}],"subject":[],"published":{"date-parts":[[2022,11,1]]}}}