{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:45:41Z","timestamp":1750308341688,"version":"3.41.0"},"reference-count":25,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2025]]},"DOI":"10.1109\/access.2025.3577238","type":"journal-article","created":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T17:43:06Z","timestamp":1749231786000},"page":"102649-102658","source":"Crossref","is-referenced-by-count":0,"title":["Synthesizing Recursive Logic Programs by Inverting General Resolution"],"prefix":"10.1109","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1471-4325","authenticated-orcid":false,"given":"Taosheng","family":"Qiu","sequence":"first","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8474-0150","authenticated-orcid":false,"given":"Ryutaro","family":"Ichise","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/322326.322339"},{"volume-title":"Foundations of Databases","year":"1995","author":"Abiteboul","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(93)90021-8"},{"key":"ref4","first-page":"287","article-title":"Duce, an oracle-based approach to constructive induction","volume-title":"Proc. 10th Int. Joint Conf. Artif. Intell.","author":"Muggleton"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-934613-64-4.50040-2"},{"key":"ref6","first-page":"368","article-title":"Efficient induction of logic programs","volume-title":"Proc. Int. Conf. Algorithmic Learn. Theory","author":"Muggleton"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13840-9_13"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1023\/b:mach.0000023149.72125.e2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.3233\/aic-2010-0465"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00034-4"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/383779.383781"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037227"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-019-05862-7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i7.16799"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-020-05934-z"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i6.20596"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3371130"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3622847"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00730-2"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1986.40"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.6.719"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1038\/nature24270"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_67"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3408991"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3498682"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6287639\/10820123\/11027073.pdf?arnumber=11027073","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:40:32Z","timestamp":1750268432000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11027073\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/access.2025.3577238","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2025]]}}}