{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:10:13Z","timestamp":1742598613907,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584957"},{"type":"electronic","value":"9783540490104"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58495-1_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:31:57Z","timestamp":1330273917000},"page":"336-345","source":"Crossref","is-referenced-by-count":16,"title":["RUTH: an ILP theory revision system"],"prefix":"10.1007","author":[{"given":"Hilde","family":"Ad\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Malfait","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luc","family":"Raedt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"34_CR1","unstructured":"H. Ad\u00e9, L. De Raedt, and M. Bruynooghe. Theory revision. In Proceedings of the 3rd International Workshop on Inductive Logic Programming, 1993."},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"H. Ad\u00e9, L. De Raedt, and M. Bruynooghe. Declarative Bias for Specific-To-General ILP Systems. To appear in Machine Learning, 1994.","DOI":"10.1007\/BF00993477"},{"key":"34_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":"34_CR4","unstructured":"Francois Bry. Intensional updates: abduction via deduction. In D. Warren and P. Szeredi, editors, Proceedings of the 7th International Conference on Logic Programming, pages 561\u2013578. The MIT Press, 1990."},{"key":"34_CR5","unstructured":"L. De Raedt. Interactive Theory Revision: an Inductive Logic Programming Approach. Academic Press, 1992."},{"key":"34_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":"34_CR7","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BF03037514","volume":"8","author":"A. Guessoum","year":"1990","unstructured":"A. Guessoum and J.W. Lloyd. Updating knowledge bases. New Generation Computing, 8:71\u201388, 1990.","journal-title":"New Generation Computing"},{"key":"34_CR8","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":"34_CR9","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of logic programming. Springer-Verlag, 2nd edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"34_CR10","unstructured":"B. Malfait. Een incrementele, niet-interactieve aanpak van het Theory Revision-probleem binnen ILP. Master's thesis, Department of Computer Science, Katholieke Universiteit Leuven, 1994. in Dutch."},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"S. Muggleton and L. De Raedt. Inductive logic programming: Theory and methods. Journal of Logic Programming, 1994. To appear.","DOI":"10.1016\/0743-1066(94)90035-3"},{"key":"34_CR12","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/1042-8143(91)90003-6","volume":"3","author":"M. Pazzani","year":"1991","unstructured":"M. Pazzani and C. Brunk. Detecting and correcting errors in rule-based expert systems: an integration of empirical and explanation-based learning. Knowledge Acquisition, 3:157\u2013173, 1991.","journal-title":"Knowledge Acquisition"},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"B.L. Richards and R.J. Mooney. First order theory revision. In Proceedings of the 8th International Workshop on Machine Learning, pages 447\u2013451. Morgan Kaufmann, 1991.","DOI":"10.1016\/B978-1-55860-200-7.50092-1"},{"key":"34_CR14","unstructured":"C. Sammut and R. Banerji. Learning concepts by asking questions. In R.S Michalski, J.G. Carbonell, and T.M. Mitchell, editors, Machine Learning: an artificial intelligence approach, volume 2, pages 167\u2013192. Morgan Kaufmann, 1986."},{"key":"34_CR15","doi-asserted-by":"crossref","unstructured":"E.Y. Shapiro. Algorithmic Program Debugging. The MIT Press, 1983.","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"34_CR16","doi-asserted-by":"crossref","unstructured":"S. Tankitvanitch and M. Shimura. Refining a relational theory with multiple faults in the concept and subconcepts. In Proceedings of the 9th International Workshop on Machine Learning, pages 436\u2013444. Morgan Kaufmann, 1992.","DOI":"10.1016\/B978-1-55860-247-2.50061-9"},{"key":"34_CR17","unstructured":"A. Tomasic. View update translation via deduction and annotation. In Proceedings 2nd International Conference on Database Theory, volume 326 of Lecture Notes in Computer Science, pages 338\u2013351. Springer-Verlag, 1988."},{"key":"34_CR18","doi-asserted-by":"crossref","unstructured":"J. Wogulis. Revising relational theories. In Proceedings of the 8th International Workshop on Machine Learning, pages 462\u2013466. Morgan Kaufmann, 1991.","DOI":"10.1016\/B978-1-55860-200-7.50095-7"}],"container-title":["Lecture Notes in Computer Science","Methodologies for Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58495-1_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:34:34Z","timestamp":1742596474000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58495-1_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584957","9783540490104"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-58495-1_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}