{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:59Z","timestamp":1725664379737},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540592860"},{"type":"electronic","value":"9783540492320"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59286-5_63","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:09:07Z","timestamp":1330276147000},"page":"261-266","source":"Crossref","is-referenced-by-count":0,"title":["JIGSAW: Puzzling together RUTH and SPECTRE (Extended abstract)"],"prefix":"10.1007","author":[{"given":"Hilde","family":"Ad\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henrik","family":"Bostr\u00f6m","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"19_CR1","unstructured":"H. Ad\u00e9, L. De Raedt, and M. Bruynooghe. Theory Revision. In Proceedings of the 3rd International Workshop on Inductive Logic Programming, pages 179\u2013192, 1993."},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"H. Ad\u00e9, B. Malfait, and L. De Raedt. RUTH: an ILP Theory Revision System. In Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems (ISMIS94), 1994.","DOI":"10.1007\/3-540-58495-1_34"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"H. Ad\u00e9, B. Malfait, and L. De Raedt. RUTH: an ILP Theory Revision System. Technical Report CW-194, Department of Computer Science, Katholieke Universiteit Leuven, 1994.","DOI":"10.1007\/3-540-58495-1_34"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"P. Bergadano and A. Giordana. A knowledge intensive approach to concept induction. In Proceedings of the 5th International Workshop on Machine Learning. Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-64-4.50037-2"},{"key":"19_CR5","unstructured":"H. Bostr\u00f6m and P. Idestam-Almquist. Specialization of Logic Programs by Pruning SLD-Trees. In S. Wrobel, editor, Proceedings of the 4th International Workshop on Inductive Logic Programming, volume 237 of GMD-Studien, pages 31\u201348. Gesellschaft f\u00fcr Mathematik und Datenverarbeitung MBH, 1994."},{"key":"19_CR6","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0004-3702(92)90075-9","volume":"53","author":"L. Raedt De","year":"1992","unstructured":"L. De Raedt and M. Bruynooghe. Belief updating from integrity constraints and queries. Artificial Intelligence, 53:291\u2013307, 1992.","journal-title":"Artificial Intelligence"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"R. Korf. Depth-first iterative deepening: an optimal admissable search. Artificial Intelligence, pages 97\u2013109, 1985.","DOI":"10.1016\/0004-3702(85)90084-0"},{"key":"19_CR8","first-page":"127","volume-title":"Unfold\/fold Transformations of Logic Programs","author":"H. Tamaki","year":"1984","unstructured":"H. Tamaki and T. Sato. Unfold\/fold Transformations of Logic Programs. In Proceedings of the Second International Logic Programming Conference, pages 127\u2013138, 1984. Uppsala University, Uppsala, Sweden."}],"container-title":["Lecture Notes in Computer Science","Machine Learning: ECML-95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59286-5_63.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:26:21Z","timestamp":1605648381000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59286-5_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592860","9783540492320"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-59286-5_63","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}