{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:37Z","timestamp":1761611077266,"version":"3.41.2"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Machine Learning"],"published-print":{"date-parts":[[2000,1]]},"DOI":"10.1023\/a:1007681906490","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T05:54:50Z","timestamp":1040536490000},"page":"63-87","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Strategies in Combined Learning via Logic Programs"],"prefix":"10.1007","volume":"38","author":[{"given":"Evelina","family":"Lamma","sequence":"first","affiliation":[]},{"given":"Fabrizio","family":"Riguzzi","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"252641_CR1","unstructured":"Alferes, J. J. Dam\u00e1sio, C. V., & Pereira, L. M. (1994). SLX-A top-down derivation procedure for programs with explicit negation. In M. Bruynooghe, (Ed.), Proc. Int. Symp. on Logic Programming. The MIT Press."},{"key":"252641_CR2","doi-asserted-by":"crossref","unstructured":"Alferes, J. J. & Pereira, L. M. (1996). Reasoning with logic programming, LNAI (Vol. 1111). Springer-Verlag.","DOI":"10.1007\/3-540-61488-5"},{"key":"252641_CR3","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1023\/A:1005900924623","volume":"20","author":"J. J. Alferes","year":"1998","unstructured":"Alferes, J. J., Pereira, L. M., & Przymusinski, T. C. (1998). \u201cClassical\u201d negation in non-monotonic reasoning and logic programming. Journal of Automated Reasoning, 20, 107\u2013142.","journal-title":"Journal of Automated Reasoning"},{"key":"252641_CR4","unstructured":"Bain, M. & Muggleton, S. (1992). Non-monotonic learning. In S. Muggleton, (Ed.), Inductive logic programming (pp. 145\u2013161). Academic Press."},{"issue":"20","key":"252641_CR5","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19","author":"C. Baral","year":"1994","unstructured":"Baral, C. & Gelfond, M. (1994). Logic programming and knowledge representation. Journal of logic programming, 19(20), 73\u2013148.","journal-title":"Journal of logic programming"},{"key":"252641_CR6","unstructured":"Chan, P. & Stolfo, S. (1993). Meta-learning for multistrategy and parallel learning. Proceedings of the 2nd International Workshop on Multistrategy Learning (pp. 150\u2013165)."},{"key":"252641_CR7","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C. V., Nejdl, W., & Pereira, L. M. (1994). REVISE: An extended logic programming system for revising knowledge bases. In J. Doyle, E. Sandewall & P. Torasso, (Eds.), Knowledge representation and reasoning (pp. 607\u2013618). Morgan Kaufmann.","DOI":"10.1016\/B978-1-4832-1452-8.50151-2"},{"key":"252641_CR8","first-page":"29","volume-title":"Logic Programming and Non-Monotonic Reasoning-Proc. of 3rd International Conference LPNMR'95","author":"C. V. Dam\u00e1sio","year":"1997","unstructured":"Dam\u00e1sio, C. V. & Pereira, L. M. (1997). Abduction on 3-valued extended logic programs. In V. W. Marek, A. Nerode & M. Trusczynski, (Eds.), Logic Programming and Non-Monotonic Reasoning-Proc. of 3rd International Conference LPNMR'95. LNAI (Vol. 925, pp. 29\u201342). Germany: Springer-Verlag."},{"key":"252641_CR9","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C. V. & Pereira, L. M. (1998). A survey on paraconsistent semantics for extended logic programs. In D. Gabbay & P. Smets, (Eds.), Handbook of defeasible reasoning and uncertainty management systems (Vol. 2, pp. 241\u2013320). Kluwer Academic Publishers.","DOI":"10.1007\/978-94-017-1739-7_8"},{"key":"252641_CR10","unstructured":"De Raedt, L. (1992). Interactive theory revision: an inductive logic programming approach. Academic Press."},{"key":"252641_CR11","unstructured":"De Raedt, L., Bleken, E., Coget, V., Ghil, C., Swennen, B., & Bruynooghe, M. (1993). Learning to survive. Proceedings of the 2nd International Workshop on Multistrategy Learning (pp. 92\u2013106)."},{"key":"252641_CR12","unstructured":"De Raedt, L. & Bruynooghe, M. (1989). Towards friendly concept-learners. Proceedings of the 11th International Joint Conference on Artificial Intelligence (pp. 849\u2013856). Morgan Kaufmann."},{"key":"252641_CR13","unstructured":"De Raedt, L. & Bruynooghe, M. (1990). On negation and three-valued logic in interactive concept learning. Proceedings of the 9th European Conference on Artificial Intelligence."},{"issue":"2","key":"252641_CR14","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1023\/A:1022664419589","volume":"8","author":"L. De Raedt","year":"1992","unstructured":"De Raedt, L. & Bruynooghe, M. (1992). Interactive concept learning and constructive induction by analogy. Machine Learning, 8(2), 107\u2013150.","journal-title":"Machine Learning"},{"issue":"3","key":"252641_CR15","doi-asserted-by":"crossref","first-page":"227","DOI":"10.3233\/FI-1995-2233","volume":"XXII","author":"J. Dix","year":"1995","unstructured":"Dix, J. (1995). A classification-theory of semantics of normal logic programs: I & II. Fundamenta Informaticae, XXII(3), 227\u2013255, 257\u2013288.","journal-title":"Fundamenta Informaticae"},{"key":"252641_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0023798","volume-title":"Non-Monotonic Extensions of Logic Programming-Selected papers from NMELP'96","author":"J. Dix","year":"1997","unstructured":"Dix, J., Pereira, L. M., & Przymusinski, T. (1997). Prolegomena to logic programming and non-monotonic reasoning. In J. Dix, L. M. Pereira & T. Przymusinski, (Eds.), Non-Monotonic Extensions of Logic Programming-Selected papers from NMELP'96. LNAI (Vol. 1216, pp. 1\u201336). Germany: Springer-Verlag."},{"key":"252641_CR17","unstructured":"Drobnic, M. & Gams, M. (1993). Multistrategy learning: An analytical approach. Proceedings of the 2nd International Workshop on Multistrategy Learning (pp. 31\u201341)."},{"key":"252641_CR18","unstructured":"D\u017eeroski, S. (1991). Handling noise in inductive logic programming. Master's Thesis, Faculty of Electrical Engineering and Computer Science, University of Ljubljana."},{"key":"252641_CR19","unstructured":"Esposito, F., Ferilli, S., Lamma, E., Mello, P., Milano, M., Riguzzi, F., & Semeraro, G. (submitted for publication). Cooperation of abduction and induction in logic programming. In P. A. Flach & A. C. Kakas (Eds.), Abductive and inductive reasoning, pure and applied logic. Kluwer."},{"key":"252641_CR20","unstructured":"Gelfond, M. & Lifschitz, V. (1988). The stable model semantics for logic programming. In R. Kowalski & K. A. Bowen (Eds.), Proceedings of the 5th Int. Conf. on Logic Programming (pp. 1070\u20131080) MIT Press."},{"key":"252641_CR21","unstructured":"Gelfond, M. & Lifschitz, V. (1990). Logic programs with classical negation. Proceedings of the 7th International Conference on Logic Programming ICLP90 (pp. 579\u2013597). The MIT Press."},{"issue":"2","key":"252641_CR22","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1111\/j.1467-8640.1989.tb00317.x","volume":"5","author":"D. Gordon","year":"1989","unstructured":"Gordon, D. & Perlis, D. (1989). Explicitly biased generalization. Computational Intelligence, 5(2), 67\u201381.","journal-title":"Computational Intelligence"},{"key":"252641_CR23","unstructured":"Greiner, R., Grove, A. J.,& Roth, D. (1996). Learning active classifiers. Proceedings of the Thirteenth International Conference on Machine Learning (ICML96)."},{"key":"252641_CR24","unstructured":"Inoue, K. (submitted for publication). Learning abductive and nonmonotonic logic programs. In P. A. Flach & A. C. Kakas, (Eds.), Abductive and inductive reasoning, pure and applied logic. Kluwer."},{"key":"252641_CR25","unstructured":"Inoue, K. & Kudoh, Y. (1997). Learning extended logic programs. Proceedings of the 15th International Joint Conference on Artificial Intelligence (pp. 176\u2013181). Morgan Kaufmann."},{"key":"252641_CR26","unstructured":"Jenkins, W. (1993). Intelog: A framework for multistrategy learning. Proceedings of the 2nd International Workshop on Multistrategy Learning (pp. 58\u201365)."},{"key":"252641_CR27","unstructured":"Lamma, E., Riguzzi, F., & Pereira, L. M. (1988). Learning in a three-valued setting. Proceedings of the Fourth International Workshop on Multistrategy Learning."},{"key":"252641_CR28","unstructured":"Lamma, E., Riguzzi, F., & Pereira, L. M. (1999). Agents learning in a three-valued setting. Technical Report, DEIS-University of Bologna."},{"key":"252641_CR29","unstructured":"Lamma, E., Riguzzi, F., & Pereira, L. M. (to appear). Strategies in combined learning via logic programs. Machine Learning."},{"key":"252641_CR30","doi-asserted-by":"crossref","unstructured":"Lapointe, S. & Matwin, S. (1992). Sub-unification: A tool for efficient induction of recursive programs. In D. Sleeman & P. Edwards, (Eds.), Proceedings of the 9th International Workshop on Machine Learning (pp. 273\u2013281). Morgan Kaufmann.","DOI":"10.1016\/B978-1-55860-247-2.50040-1"},{"key":"252641_CR31","unstructured":"Lavra\u010d, N. & D\u017eeroski, S. (1994). Inductive Logic Programming: Techniques and Applications. Ellis Horwood."},{"key":"252641_CR32","doi-asserted-by":"crossref","unstructured":"Leite, J. A. & Pereira, L. M. (1998). Generalizing updates: from models to programs. In J. Dix, L. M. Pereira, & T. C. Przymusinski, (Eds.), Collected Papers from Workshop on Logic Programming and Knowledge Representation LPKR'97 LNAI (Vol. 1471) Springer-Verlag.","DOI":"10.1007\/BFb0054796"},{"key":"252641_CR33","unstructured":"Michalski, R. (1973). Discovery classification rules using variable-valued logic system VL1. Proceedings of the Third International Conference on Artificial Intelligence (pp. 162\u2013172). Stanford University."},{"key":"252641_CR34","doi-asserted-by":"crossref","unstructured":"Michalski, R. (1984). A theory and methodology of inductive learning. In R. Michalski, J. Carbonell & T. Mitchell, (Eds.), Machine Learning-an artificial intelligence approach (Vol. 1, pp. 83\u2013134). Springer-Verlag.","DOI":"10.1016\/B978-0-08-051054-5.50008-X"},{"issue":"3\/4","key":"252641_CR35","first-page":"245","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"Muggleton, S. (1995). Inverse entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming, 13(3\/4), 245\u2013286.","journal-title":"New Generation Computing, Special issue on Inductive Logic Programming"},{"key":"252641_CR36","unstructured":"Muggleton, S. & Buntine, W. (1992). Machine invention of first-order predicates by inverting resolution. In S. Muggleton, (Ed.), Inductive Logic programming (pp. 261\u2013280). Academic Press."},{"key":"252641_CR37","first-page":"368","volume-title":"Proceedings of the 1st Conference on Algorithmic Learning Theory","author":"S. Muggleton","year":"1990","unstructured":"Muggleton, S. & Feng, C. (1990). Efficient induction of logic programs. Proceedings of the 1st Conference on Algorithmic Learning Theory, Ohmsma, Tokyo, Japan (pp. 368\u2013381)."},{"key":"252641_CR38","doi-asserted-by":"crossref","unstructured":"Pazzani, M. J., Merz, C., Murphy, P., Ali, K., Hume, T., & Brunk, C. (1994). Reducing misclassification costs. Proceedings of the Eleventh International Conference on Machine Learning (ML94) (pp. 217\u2013225).","DOI":"10.1016\/B978-1-55860-335-6.50034-9"},{"key":"252641_CR39","unstructured":"Pereira, L. M. & Alferes, J. J. (1992).Well founded semantics for logic programs with explicit negation. Proceedings of the European Conference on Artificial Intelligenece ECAI92 (pp. 102\u2013106). John Wiley and Sons."},{"key":"252641_CR40","first-page":"153","volume":"5","author":"G. Plotkin","year":"1970","unstructured":"Plotkin, G. (1970). A note on inductive generalization. Machine Intelligence (Vol. 5, pp. 153\u2013163). Edinburgh University Press.","journal-title":"Machine Intelligence"},{"key":"252641_CR41","unstructured":"Provost, F. J. & Fawcett, T. (1997). Analysis and visualization of classifier performance: Comparison under imprecise class and cost distribution. Proceedings of the Third International Conference on Knowledge Discovery and Data Mining (KDD97). AAAI Press."},{"key":"252641_CR42","first-page":"239","volume":"5","author":"J. Quinlan","year":"1990","unstructured":"Quinlan, J. (1990). Learning logical definitions from relations. Machine Learning, 5, 239\u2013266.","journal-title":"Machine Learning"},{"key":"252641_CR43","volume-title":"Programs for Machine Learning","author":"J. R. Quinlan","year":"1993","unstructured":"Quinlan, J. R. (1993). C4.5: Programs for Machine Learning. San Mateo, CA: Morgan Kaufmann."},{"key":"252641_CR44","doi-asserted-by":"crossref","unstructured":"Reiter, R. (1978). On closed-word data bases. In H. Gallaire & J. Minker, (Eds.), Logic and data bases (pp. 55\u201376). Plenum Press.","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"252641_CR45","unstructured":"Sagonas, K. F., Swift, T., Warren, D. S., Freire, J., & Rao, P. (1997). The XSB Programmer's Manual Version 1.7.1."},{"issue":"3","key":"252641_CR46","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Van Gelder","year":"1991","unstructured":"Van Gelder, A., Ross, K. A., & Schlipf, J. S. (1991). The well-founded semantics for general logic programs. Journal of the ACM, 38(3), 620\u2013650.","journal-title":"Journal of the ACM"},{"key":"252641_CR47","unstructured":"Vere, S. A. (1975). Induction of concepts in the predicate calculus. Proceedings of the Fourth International Joint Conference on Artificial Intelligence (IJCAI75) (pp. 281\u2013287)."}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1007681906490.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1007681906490\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1007681906490.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T11:41:46Z","timestamp":1752147706000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1007681906490"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,1]]},"references-count":47,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2000,1]]}},"alternative-id":["252641"],"URL":"https:\/\/doi.org\/10.1023\/a:1007681906490","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"type":"print","value":"0885-6125"},{"type":"electronic","value":"1573-0565"}],"subject":[],"published":{"date-parts":[[2000,1]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}