{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T12:10:14Z","timestamp":1648815014558},"reference-count":24,"publisher":"Oxford University Press (OUP)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2011,4,1]]},"DOI":"10.1093\/logcom\/exq023","type":"journal-article","created":{"date-parts":[[2010,7,20]],"date-time":"2010-07-20T00:17:28Z","timestamp":1279585048000},"page":"205-229","source":"Crossref","is-referenced-by-count":3,"title":["Introducing Preferences in Planning as Satisfiability"],"prefix":"10.1093","volume":"21","author":[{"given":"E.","family":"Giunchiglia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Maratea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2010,7,18]]},"reference":[{"key":"2_37652883","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1016\/j.artint.2008.11.011","volume":"173","year":"2009","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"4_37652884","doi-asserted-by":"crossref","first-page":"562","DOI":"10.1016\/j.artint.2008.11.010","volume":"173","year":"2009","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"7_29474859","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1613\/jair.1234","volume":"21","year":"2004","journal-title":"JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH"},{"key":"9_37652885","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1613\/jair.1895","volume":"25","year":"2006","journal-title":"JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH"},{"key":"11_27496322","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/S0004-3702(99)00015-6","volume":"109","year":"1999","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"14_37652886","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/j.artint.2008.11.004","volume":"173","year":"2009","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"17_29649292","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","year":"1962","journal-title":"Communications of the ACM","ISSN":"http:\/\/id.crossref.org\/issn\/0001-0782","issn-type":"print"},{"key":"18_37652887","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1017\/S1471068402001539","volume":"3","year":"2003","journal-title":"THEORY AND PRACTICE OF LOGIC PROGRAMMING"},{"key":"20_37652888","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/S0004-3702(01)00128-X","volume":"132","year":"2001","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"25_37652889","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/SAT190014","volume":"2","year":"2006","journal-title":"JOURNAL ON SATISFIABILITY BOOLEAN MODELING AND COMPUTATION"},{"key":"26_29780441","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","year":"1971","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"29_28375926","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","year":"1991","journal-title":"NEW GENERATION COMPUTING"},{"key":"30_37652890","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1016\/j.artint.2008.10.012","volume":"173","year":"2009","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"37_33009673","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1613\/jair.1144","volume":"20","year":"2003","journal-title":"JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH"},{"key":"38_37652891","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1613\/jair.1677","volume":"24","year":"2005","journal-title":"JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH"},{"key":"41_37652892","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/s10472-005-7034-1","volume":"44","year":"2005","journal-title":"ANNALS OF MATHEMATHICS AND ARTIFICIAL INTELLIGENCE"},{"key":"46_37652893","doi-asserted-by":"crossref","first-page":"103","DOI":"10.3233\/SAT190018","volume":"2","year":"2006","journal-title":"JOURNAL ON SATISFIABILITY BOOLEAN MODELING AND COMPUTATION"},{"key":"48_37652894","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1613\/jair.1141","volume":"20","year":"2003","journal-title":"JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH"},{"key":"50_28211480","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/S0747-7171(86)80028-1","volume":"2","year":"1986","journal-title":"JOURNAL OF SYMBOLIC COMPUTATION"},{"key":"54_37652895","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1017\/S1471068406002717","volume":"6","year":"2006","journal-title":"THEORY AND PRACTICE OF LOGIC PROGRAMMING"},{"key":"55_37652896","first-page":"115","volume":"8","year":"1970","journal-title":"SEMINARS IN MATHEMATICS"},{"key":"56_37652897","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1613\/jair.2443","volume":"31","year":"2008","journal-title":"JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH"},{"key":"58_37652898","doi-asserted-by":"crossref","first-page":"919","DOI":"10.1613\/jair.1698","volume":"24","year":"2005","journal-title":"JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH"},{"key":"60_37652899","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0020-0190(98)00144-6","volume":"68","year":"1998","journal-title":"INFORMATION PROCESSING LETTERS"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/21\/2\/205\/2776646\/exq023.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T06:45:46Z","timestamp":1591512346000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exq023"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,18]]},"references-count":24,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2011,3,25]]},"published-print":{"date-parts":[[2011,4,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exq023","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,7,18]]}}}