{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,28]],"date-time":"2024-05-28T18:49:27Z","timestamp":1716922167354},"reference-count":14,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2015,12,1]]},"DOI":"10.1093\/logcom\/ext068","type":"journal-article","created":{"date-parts":[[2013,12,13]],"date-time":"2013-12-13T02:11:21Z","timestamp":1386900681000},"page":"1285-1306","source":"Crossref","is-referenced-by-count":8,"title":["Multi-engine ASP solving with policy adaptation"],"prefix":"10.1093","volume":"25","author":[{"given":"M.","family":"Maratea","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Pulina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Ricca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2013,12,11]]},"reference":[{"key":"1_50092007","first-page":"37","volume":"6","year":"1991","journal-title":"MACHINE LEARNING"},{"key":"2_47070779","doi-asserted-by":"crossref","first-page":"147","DOI":"10.3233\/AIC-2011-0493","volume":"24","year":"2011","journal-title":"AI COMMUNICATIONS"},{"key":"8_31711925","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1145\/261124.261126","volume":"22","year":"1997","journal-title":"ACM TODS"},{"key":"12_41984204","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0004-3702(02)00207-2","volume":"138","year":"2002","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"14_31711926","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","year":"1991","journal-title":"NGC"},{"key":"16_46750753","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S0004-3702(00)00081-3","volume":"126","year":"2001","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"18_47070780","first-page":"65","volume":"60","year":"2010","journal-title":"AMAI"},{"key":"19_47070781","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1613\/jair.2861","volume":"36","year":"2009","journal-title":"JAIR"},{"key":"20_31683262","doi-asserted-by":"crossref","first-page":"35","DOI":"10.3166\/jancl.16.35-86","volume":"16","year":"2006","journal-title":"JOURNAL OF APPLIED NONCLASSICAL LOGICS"},{"key":"23_31711929","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","year":"2006","journal-title":"ACM TOCL"},{"key":"41_47070782","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/s10601-008-9051-2","volume":"14","year":"2009","ISSN":"http:\/\/id.crossref.org\/issn\/1572-9354","issn-type":"print"},{"key":"44_27496332","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","year":"2002","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"46_47070783","doi-asserted-by":"crossref","first-page":"49","DOI":"10.3233\/AIC-2012-0512","volume":"25","year":"2012","journal-title":"AI COMMUNICATIONS"},{"key":"48_47070784","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1613\/jair.2490","volume":"32","year":"2008","journal-title":"JAIR"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/25\/6\/1285\/7949403\/ext068.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,12]],"date-time":"2020-08-12T01:25:36Z","timestamp":1597195536000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/ext068"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12,11]]},"references-count":14,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2015,11,18]]},"published-print":{"date-parts":[[2015,12,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/ext068","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,12,11]]}}}