{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T10:06:55Z","timestamp":1763028415867,"version":"3.45.0"},"reference-count":7,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9781558602007"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"funder":[{"DOI":"10.13039\/100006195","name":"Ames Research Center","doi-asserted-by":"publisher","award":["NCC 2-629"],"award-info":[{"award-number":["NCC 2-629"]}],"id":[{"id":"10.13039\/100006195","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1016\/b978-1-55860-200-7.50092-1","type":"book-chapter","created":{"date-parts":[[2014,6,30]],"date-time":"2014-06-30T06:12:29Z","timestamp":1404108749000},"page":"447-451","source":"Crossref","is-referenced-by-count":16,"title":["First-Order Theory Revision"],"prefix":"10.1016","author":[{"given":"Bradley L.","family":"Richards","sequence":"first","affiliation":[]},{"given":"Raymond J.","family":"Mooney","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/B978-1-55860-200-7.50092-1_bib1","unstructured":"A. Ginsberg, \u201cTheory Reduction, Theory Revision, and Retranslation,\u2015 Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-1990), pp 777\u2013782."},{"key":"10.1016\/B978-1-55860-200-7.50092-1_bib2","unstructured":"S. Muggleton, \u201cDuce, an Oracle based approach to constructive induction,\u2015 Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), pp 287\u2013292."},{"key":"10.1016\/B978-1-55860-200-7.50092-1_bib3","doi-asserted-by":"crossref","unstructured":"S. Muggleton and W. Buntine, \u201cMachine Invention of First-order Predicates by Inverting Resolution,\u2015 Proceedings of the Fifth International Conference on Machine Learning, pp 339\u2013352, 1988","DOI":"10.1016\/B978-0-934613-64-4.50040-2"},{"key":"10.1016\/B978-1-55860-200-7.50092-1_bib4","unstructured":"D. Ourston and R. J. Mooney, \u201cChanging the Rules: A Comprehensive Approach to Theory Refinement,\u2015 Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-1990), pp 815\u2013820."},{"key":"10.1016\/B978-1-55860-200-7.50092-1_bib5","doi-asserted-by":"crossref","unstructured":"M. J. Pazzani, C. A. Brunk, and G. Silverstein, \u201cA knowledge-intensive approach to relational concept learning,\u2015 Proceedings of the Eighth International Workshop on Machine Learning, 1991.","DOI":"10.1016\/B978-1-55860-200-7.50089-1"},{"key":"10.1016\/B978-1-55860-200-7.50092-1_bib6","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1023\/A:1022699322624","article-title":"\u201cLearning Logical Definitions from Relations,\u2015","volume":"5","author":"Quinlan","year":"1990","journal-title":"Machine Learning"},{"key":"10.1016\/B978-1-55860-200-7.50092-1_bib7","unstructured":"G. G. Towell, J. W. Shavlik, and M. O. Noordewier, \u201cRefinement of Approximate Domain Theories by Knowledge-Based Neural Networks,\u2015 Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-1990), pp 861\u2013866."}],"container-title":["Machine Learning Proceedings 1991"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9781558602007500921?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9781558602007500921?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T10:01:47Z","timestamp":1763028107000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9781558602007500921"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9781558602007"],"references-count":7,"URL":"https:\/\/doi.org\/10.1016\/b978-1-55860-200-7.50092-1","relation":{},"subject":[],"published":{"date-parts":[[1991]]}}}