{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:52Z","timestamp":1742617132746,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540566021"},{"type":"electronic","value":"9783540475972"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56602-3_146","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:19:01Z","timestamp":1330255141000},"page":"329-335","source":"Crossref","is-referenced-by-count":5,"title":["A note on refinement operators"],"prefix":"10.1007","author":[{"given":"Tim","family":"Niblett","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E.M. Gold","year":"1967","unstructured":"E.M. Gold. Language identification in the limit. Information and Control, 10:447\u2013474, 1967.","journal-title":"Information and Control"},{"key":"23_CR2","first-page":"281","volume-title":"Inductive Logic Programming","author":"S. Muggleton","year":"1992","unstructured":"S. Muggleton and C. Feng. Efficient induction of logic programs. In S. Muggleton, editor, Inductive Logic Programming, pages 281\u2013298. Academic Press, London, 1992."},{"key":"23_CR3","first-page":"153","volume-title":"Machine Intelligence 5","author":"G.D. Plotkin","year":"1970","unstructured":"G.D. Plotkin. A note on inductive generalisation. In B. Meltzer and D. Michie, editors. Machine Intelligence 5, pages 153\u2013163. Elsevier North-Holland, New York, 1970."},{"key":"23_CR4","unstructured":"G.D. Plotkin. Automatic Methods of Inductive Inference. PhD thesis, Edinburgh University, August 1971."},{"key":"23_CR5","first-page":"101","volume-title":"Machine Intelligence 6","author":"G.D. Plotkin","year":"1971","unstructured":"G.D. Plotkin. A further note on inductive generalisation. In B. Meltzer and D. Michie, editors, Machine Intelligence 6, pages 101\u2013124. Elsevier North-Holland, New York, 1971."},{"key":"23_CR6","first-page":"446","volume-title":"Proceedings of IJCAI-81","author":"E. Y. Shapiro","year":"1981","unstructured":"E. Y. Shapiro. An algorithm that infers theories from facts. In Proceedings of IJCAI-81, pages 446\u2013451. Kaufmann, Los Altos, CA, 1981."},{"key":"23_CR7","volume-title":"TR 192","author":"E.Y. Shapiro","year":"1981","unstructured":"E.Y. Shapiro. Inductive inference of theories from facts. TR 192, Dept. Comp. Sc., Yale University, Connecticut, 1981."},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"E.Y. Shapiro. Algorithmic Program Debugging. MIT Press, 1983.","DOI":"10.7551\/mitpress\/1192.001.0001"}],"container-title":["Lecture Notes in Computer Science","Machine Learning: ECML-93"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56602-3_146.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:50:08Z","timestamp":1742593808000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56602-3_146"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566021","9783540475972"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-56602-3_146","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}