{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T04:40:10Z","timestamp":1748493610836,"version":"3.41.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319215419"},{"type":"electronic","value":"9783319215426"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21542-6_26","type":"book-chapter","created":{"date-parts":[[2015,7,11]],"date-time":"2015-07-11T10:59:32Z","timestamp":1436612372000},"page":"407-421","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Rule Generalization Strategies in Incremental Learning of Disjunctive Concepts"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Ferilli","sequence":"first","affiliation":[]},{"given":"Andrea","family":"Pazienza","sequence":"additional","affiliation":[]},{"given":"Floriana","family":"Esposito","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,12]]},"reference":[{"key":"26_CR1","unstructured":"Becker, J.M.: Inductive learning of decision rules with exceptions: Methodology and experimentation. B.s. diss., Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana. UIUCDCS-F-85-945 (1985)"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Bergadano, F., Gunetti, D.: Learning clauses by tracing derivations. In: Wrobel, S. (ed.) Proceedings of the 4th International Workshop on Inductive Logic Programming, pp. 1\u201329 (1994)","DOI":"10.7551\/mitpress\/3731.001.0001"},{"key":"26_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/3-540-58495-1_36","volume-title":"Methodologies for Intelligent Systems","author":"M Botta","year":"1994","unstructured":"Botta, M.: Learning first order theories. In: Ra\u015b, Z.W., Zemankova, M. (eds.) ISMIS 1994. LNCS, vol. 869, pp. 356\u2013365. Springer, Heidelberg (1994)"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Bruner, J.S., Goodnow, J.J., Austin, G.A.: A Study of Thinking. John Wiley & Sons (1956)","DOI":"10.2307\/1292061"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Cain, T.: The ductor: a theory revision system for propositional domains. In: Proceedings of the 8th International Workshop on Machine Learning [16], pp. 485\u2013489","DOI":"10.1016\/B978-1-55860-200-7.50099-4"},{"key":"26_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic Programming and Databases","author":"S Ceri","year":"1990","unstructured":"Ceri, S., Gottl\u00f6b, G., Tanca, L.: Logic Programming and Databases. Springer-Verlag, Heidelberg (1990)"},{"key":"26_CR7","unstructured":"de Raedt, L.: Interactive Theory Revision - An Inductive Logic Programming Approach. Academic Press (1992)"},{"issue":"1\/2","key":"26_CR8","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1023\/A:1007638124237","volume":"38","author":"F Esposito","year":"2000","unstructured":"Esposito, F., Semeraro, G., Fanizzi, N., Ferilli, S.: Multistrategy theory revision: Induction and abduction in inthelex. Machine Learning Journal 38(1\/2), 133\u2013156 (2000)","journal-title":"Machine Learning Journal"},{"issue":"1\u20132","key":"26_CR9","doi-asserted-by":"crossref","first-page":"43","DOI":"10.3233\/FI-2009-0004","volume":"90","author":"S Ferilli","year":"2009","unstructured":"Ferilli, S., Basile, T.M.A., Biba, M., Di Mauro, N., Esposito, F.: A general similarity framework for horn clause logic. Fundamenta Informaticae Journal 90(1\u20132), 43\u201366 (2009)","journal-title":"Fundamenta Informaticae Journal"},{"key":"26_CR10","unstructured":"Ginsberg, A.: Theory reduction, theory revision, and retranslation. In: Proceedings of the 8th National Conference on Artificial Intelligence, pp. 777\u2013782 (1990)"},{"key":"26_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer-Verlag, Berlin (1987)","edition":"2"},{"key":"26_CR12","unstructured":"Matwin, S., Plante, B.: A deductive-inductive method for theory revision. In: Proceedings of the International Workshop on Multistrategy Learning, pp. 160\u2013174. Harper\u2019s Ferry (1991)"},{"key":"26_CR13","first-page":"141","volume-title":"Machine Learning: A Multistrategy Approach","author":"RJ Mooney","year":"1994","unstructured":"Mooney, R.J., Ourston, D.: A multistrategy approach to theory refinement. In: Michalski, R.S., Tecuci, G. (eds.) Machine Learning: A Multistrategy Approach, vol. 4, pp. 141\u2013164. Morgan Kaufman, San Mateo (1994)"},{"key":"26_CR14","unstructured":"Muggleton, S.: Duce, an oracle based approach to constructive induction. In: Proceedings of the 5th International Joint Conference on Artificial Intelligence, pp. 287\u2013292 (1987)"},{"key":"26_CR15","unstructured":"Murray, K.S.: Multiple convergence: an approach to disjunctive concept acquisition. In: Proceedings of the 10th international joint conference on Artificial intelligence (IJCAI 1987), vol. 1, pp. 297\u2013300. Morgan Kaufmann (1987)"},{"key":"26_CR16","unstructured":"Proceedings of the 8th International Workshop on Machine Learning. Morgan Kaufmann, San Mateo (1991)"},{"key":"26_CR17","unstructured":"Reinke, R.E., Michalski, R.S.: Incremental learning of concept descriptions: a method and experimental results. In: Michie, D. (ed.) Machine Intelligence, vol. 11. Edinburgh University Press (1985)"},{"issue":"2","key":"26_CR18","first-page":"95","volume":"19","author":"BL Richards","year":"1995","unstructured":"Richards, B.L., Mooney, R.J.: Refinement of first-order horn-clause domain theories. Machine Learning Journal 19(2), 95\u2013131 (1995)","journal-title":"Machine Learning Journal"},{"key":"26_CR19","first-page":"153","volume":"11","author":"L Saitta","year":"1993","unstructured":"Saitta, L., Botta, M., Neri, F.: Multistrategy learning and theory revision. Machine Learning Journal 11, 153\u2013172 (1993)","journal-title":"Machine Learning Journal"},{"key":"26_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/3-540-49674-2_16","volume-title":"Logic Program Synthesis and Transformation","author":"G Semeraro","year":"1998","unstructured":"Semeraro, G., Esposito, F., Malerba, D., Fanizzi, N., Ferilli, S.: A logic framework for the incremental inductive synthesis of datalog theories. In: Fuchs, N.E. (ed.) LOPSTR 1997. LNCS, vol. 1463, pp. 300\u2013321. Springer, Heidelberg (1998)"},{"key":"26_CR21","doi-asserted-by":"crossref","unstructured":"Shapiro, E.Y.: Algorithmic Program Debugging. MIT Press (1983)","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"26_CR22","unstructured":"Srinivasan, A.: The aleph manual. Technical report (2001)"},{"key":"26_CR23","doi-asserted-by":"crossref","unstructured":"Wogulis, J.: Revising relational domain theories. In: Proceedings of the 8th International Workshop on Machine Learning [16], pp. 462\u2013466","DOI":"10.1016\/B978-1-55860-200-7.50095-7"}],"container-title":["Lecture Notes in Computer Science","Rule Technologies: Foundations, Tools, and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21542-6_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T04:05:38Z","timestamp":1748491538000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21542-6_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319215419","9783319215426"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21542-6_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"12 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}