{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,24]],"date-time":"2024-02-24T15:10:01Z","timestamp":1708787401522},"reference-count":9,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"DOI":"10.1093\/logcom\/exn006","type":"journal-article","created":{"date-parts":[[2008,4,6]],"date-time":"2008-04-06T00:14:56Z","timestamp":1207440896000},"page":"831-847","source":"Crossref","is-referenced-by-count":1,"title":["Synthesizing Monadic Predicates"],"prefix":"10.1093","volume":"18","author":[{"given":"C.","family":"Meghini","sequence":"first","affiliation":[]},{"given":"N.","family":"Spyratos","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2008,10,1]]},"reference":[{"key":"1_30767155","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1613\/jair.1785","volume":"25","year":"2006","journal-title":"JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH"},{"key":"6_30767156","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1006\/ijhc.1996.0067","volume":"45","year":"1996","journal-title":"INTERNATIONAL JOURNAL OF HUMANCOMPUTER STUDIES"},{"key":"7_30767157","first-page":"95","volume":"24","year":"1996","journal-title":"MACHINE LEARNING"},{"key":"9_30767158","doi-asserted-by":"crossref","first-page":"587","DOI":"10.1002\/(SICI)1097-4571(2000)51:7<587::AID-ASI2>3.0.CO;2-L","volume":"51","year":"2000","journal-title":"JOURNAL OF AMERICAN SOCIETY FOR INFORMATION SCIENCE"},{"key":"14_30767159","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1145\/984321.984325","volume":"22","year":"2004","journal-title":"ACM TOIS"},{"key":"15_30767160","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1007\/s007780100054","volume":"10","year":"2001","journal-title":"VLDB JOURNAL"},{"key":"19_30767161","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1080\/09528130210164189","volume":"14","year":"2002","journal-title":"JOURNAL ON EXPERIMENTAL AND THEORETICAL ARTIFICIAL INTELLIGENCE"},{"key":"20_30767162","first-page":"132","volume":"27","year":"2000","journal-title":"KNOWLEDGE ORGANIZATION"},{"key":"21_30767163","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1002\/aris.1440400120","volume":"40","year":"2006","journal-title":"ANNUAL REVIEW OF INFORMATION SCIENCE AND TECHNOLOGY"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/18\/6\/831\/6272956\/exn006.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,24]],"date-time":"2024-02-24T14:34:06Z","timestamp":1708785246000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exn006"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,1]]},"references-count":9,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2008,10,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exn006","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,10,1]]}}}