{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T07:00:22Z","timestamp":1673074822106},"reference-count":23,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[2003,1]]},"DOI":"10.1080\/0952813021000028621","type":"journal-article","created":{"date-parts":[[2003,11,10]],"date-time":"2003-11-10T16:58:20Z","timestamp":1068483500000},"page":"47-71","source":"Crossref","is-referenced-by-count":1,"title":["A case study in the meta-reasoning procedure ND"],"prefix":"10.1080","volume":"15","author":[{"given":"James J.","family":"Lu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeffrey S.","family":"Rosenthal","sequence":"additional","affiliation":[{"name":"a  Department of Statistics, University of Toronto, 100 St. George Street, Toronto, Ontario, Canada M5S 3G3"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew E.","family":"shaffer","sequence":"additional","affiliation":[{"name":"b  Cornell University, Ithaca, NY 14853-2801, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2010,11,9]]},"reference":[{"key":"CIT0001","doi-asserted-by":"crossref","unstructured":"Bejar ,  R. \nCabiscol ,  A. \nFernandez ,  C. \nManya ,  F.  and \nGomes ,  C.  2001. Extending the reach of sat with many-valued logics. Electronic Notes in Discrete Mathematics Edited by: \nKautz ,  H.  and \nSelman ,  B.  9","DOI":"10.1016\/S1571-0653(04)00336-1"},{"key":"CIT0002","first-page":"103","volume-title":"Proceedings of the Principles and Practice of Constraint Programming","author":"Bessi\u00e8re C."},{"key":"CIT0003","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0004-3702(93)90079-Q","volume":"62","author":"Bundy A.","year":"1993","journal-title":"Artificial Intelligence"},{"key":"CIT0004","first-page":"331","volume-title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91","author":"Cheeseman P."},{"key":"CIT0005","first-page":"49","volume-title":"Portuguese Conference on Artificial Intelligence","author":"East D."},{"key":"CIT0006","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1613\/jair.7","volume":"1","author":"Gent I. P.","year":"1993","journal-title":"Journal of Artificial Intelligence Research"},{"key":"CIT0007","first-page":"210","volume-title":"Proceedings of AAAI-90","author":"Ginsberg M. L."},{"key":"CIT0008","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1023\/A:1006314320276","volume":"24","author":"Gomes C.","year":"2000","journal-title":"Journal of Automated Reasoning"},{"key":"CIT0009","first-page":"431","volume-title":"Proceedings of AAAI-98","author":"Gomes C. P."},{"key":"CIT0010","first-page":"374","volume-title":"Proceedings of KR-94","author":"Konolige K."},{"key":"CIT0011","first-page":"424","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence","author":"Larrosa J."},{"key":"CIT0012","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(76)90019-9","volume":"7","author":"Mazlack L.","year":"1976","journal-title":"Artificial Intelligence"},{"key":"CIT0013","first-page":"209","volume-title":"Proceedings of CADE","author":"McCune W."},{"key":"CIT0014","first-page":"459","volume-title":"Proceedings of the Tenth National Conference on Artificial Intelligence","author":"Mitchell D. G."},{"key":"CIT0015","volume-title":"Computational Complexity","author":"Papadimitriou C.","year":"1994"},{"key":"CIT0016","volume-title":"Computational Intelligence: A Logical Approach","author":"Poole D.","year":"1998"},{"key":"CIT0017","volume-title":"Artificial Intelligence: A Modern Approach","author":"Russell S.","year":"1995"},{"key":"CIT0018","first-page":"440","volume-title":"Proceedings of the Tenth National Conference on Artificial Intelligence","author":"Selman B."},{"key":"CIT0019","volume-title":"Variations on nd. Project Report","author":"Shaffer A.","year":"2002"},{"key":"CIT0020","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1005909914693","volume":"22","author":"Wos L.","year":"1999","journal-title":"Journal of Automated Reasoning"},{"key":"CIT0021","doi-asserted-by":"crossref","first-page":"536","DOI":"10.1145\/321296.321302","volume":"12","author":"Wos L.","year":"1965","journal-title":"Journal of the ACM"},{"key":"CIT0022","volume-title":"Proceedings of CADE","author":"Zhang H."},{"key":"CIT0023","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1023\/A:1006351428454","volume":"24","author":"Zhang H.","year":"2000","journal-title":"Journal of Automated Reasoning"}],"container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/0952813021000028621","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,30]],"date-time":"2018-08-30T20:37:08Z","timestamp":1535661428000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/0952813021000028621"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1]]},"references-count":23,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2010,11,9]]},"published-print":{"date-parts":[[2003,1]]}},"alternative-id":["10.1080\/0952813021000028621"],"URL":"https:\/\/doi.org\/10.1080\/0952813021000028621","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"value":"0952-813X","type":"print"},{"value":"1362-3079","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,1]]}}}