{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T02:40:41Z","timestamp":1784860841108,"version":"3.55.0"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1995,12,1]],"date-time":"1995-12-01T00:00:00Z","timestamp":817776000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["NGCO"],"published-print":{"date-parts":[[1995,12]]},"DOI":"10.1007\/bf03037228","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T03:02:11Z","timestamp":1240369331000},"page":"287-312","source":"Crossref","is-referenced-by-count":107,"title":["Induction of logic programs: FOIL and related systems"],"prefix":"10.1007","volume":"13","author":[{"given":"J. R.","family":"Quinlan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R. M.","family":"Cameron-Jones","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"BF03037228_CR1","first-page":"12","volume-title":"Learning Recursive Relations with Randomly-Selected Small Training Sets","author":"D.W. Aha","year":"1994","unstructured":"Aha, D.W., Lapointe, S., Ling, C.X., and Matwin, S., \u201cLearning Recursive Relations with Randomly-Selected Small Training Sets,\u201dProceedings Eleventh International Conference on Machine Learning, New Brunswick, New Jersey, San Francisco: Morgan Kaufmann, pp. 12\u201318, 1994."},{"key":"BF03037228_CR2","first-page":"1064","volume-title":"HYDRA: A Noise-Tolerant Relational Concept Learning Algorithm","author":"K. Ali","year":"1993","unstructured":"Ali, K. and Pazzani, M.J., \u201cHYDRA: A Noise-Tolerant Relational Concept Learning Algorithm,\u201dProceedings Thirteenth International Joint Conference on Artificial Intelligence, Chambery, France, San Francisco: Morgan Kaufmann, pp. 1064\u20131070, 1993."},{"key":"BF03037228_CR3","volume-title":"Learning Logical Exceptions in Chess","author":"M.E. Bain","year":"1994","unstructured":"Bain, M.E., \u201cLearning Logical Exceptions in Chess,\u201dPh.D. thesis, Department of Statistics and Modelling Science, University of Strathclyde, Scotland, 1994."},{"key":"BF03037228_CR4","unstructured":"Bell, S. and Weber, S., \u201cOn the Close Logical Relationship betweenfoil and the Frameworks of Helft and Plotkin,\u201dProceedings Third International Workshop on Inductive Logic Programming, Bled, Slovenia, pp. 127\u2013147, 1993."},{"key":"BF03037228_CR5","volume-title":"Prolog Programming for Artificial Intelligence","author":"I. Bratko","year":"1990","unstructured":"Bratko, I.,Prolog Programming for Artificial Intelligence (2nd edition), Workingham, UK: Addison-Wesley, 1990.","edition":"2nd edition"},{"key":"BF03037228_CR6","first-page":"1050","volume-title":"Avoiding Pitfalls When Learning Recursive Theories","author":"R.M. Cameron-Jones","year":"1993","unstructured":"Cameron-Jones, R.M. and Quinlan, J.R., \u201cAvoiding Pitfalls When Learning Recursive Theories,\u201dProceedings Thirteenth International Joint Conference on Artificial Intelligence, Chambery, France, San Francisco, Morgan Kaufmann, pp. 1050\u20131057, 1993."},{"key":"BF03037228_CR7","first-page":"316","volume-title":"First Order Learning, Zeroth Order Data","author":"R.M. Cameron-Jones","year":"1993","unstructured":"Cameron-Jones, R.M. and Quinlan, J.R., \u201cFirst Order Learning, Zeroth Order Data,\u201dProceedings AI\u201993 Australian Joint Conference on Artificial Intelligence, Melbourne, Singapore: World Scientific, pp. 316\u2013321, 1993."},{"key":"BF03037228_CR8","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/181668.181676","volume":"5","author":"R.M. Cameron-Jones","year":"1994","unstructured":"Cameron-Jones, R.M. and Quinlan, J.R., \u201cEfficient Top-down Induction of Logic Programs,\u201dSIGART, 5, pp. 33\u201342, 1994.","journal-title":"SIGART"},{"key":"BF03037228_CR9","unstructured":"Cohen, W.W., \u201cPac-Learning a Restricted Class of Recursive Logic Programs,\u201dProceedings Third International Workshop on Inductive Logic Programming, Bled, Slovenia, pp. 73\u201386, 1993."},{"key":"BF03037228_CR10","first-page":"142","volume-title":"Recovering Software Specifications with Inductive Logic Programming","author":"W.W. Cohen","year":"1994","unstructured":"Cohen, W.W., \u201cRecovering Software Specifications with Inductive Logic Programming,\u201dProceedings AAAI-94 Twelfth National Conference on Artificial Intelligence, Seattle, Washington, Menlo Park: AAAI Press, pp. 142\u2013148, 1994."},{"key":"BF03037228_CR11","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1016\/0004-3702(94)90070-1","volume":"68","author":"W.W. Cohen","year":"1994","unstructured":"Cohen, W.W., \u201cGrammatically Biased Learning: Learning Logic Programs Using an Explicit Antecedent Description Language,\u201dArtificial Intelligence, 68, pp. 303\u2013366, 1994.","journal-title":"Artificial Intelligence"},{"key":"BF03037228_CR12","first-page":"1037","volume-title":"Multiple Predicate Learning","author":"L. Raedt De","year":"1993","unstructured":"De Raedt, L., Lavra\u010d, N., and D\u017eeroski, S., \u201cMultiple Predicate Learning,\u201dProceedings Thirteenth International Joint Conference on Artificial Intelligence, Chambery, France, San Francisco: Morgan Kaufmann, pp. 1037\u20131042, 1993."},{"key":"BF03037228_CR13","first-page":"145","volume":"1","author":"G. DeJong","year":"1986","unstructured":"DeJong, G. and Mooney, R., \u201cExplanation-Based Learning: An Alternative View,\u201dMachine Learning, 1, pp. 145\u2013176, 1986.","journal-title":"Machine Learning"},{"key":"BF03037228_CR14","series-title":"Technical Report, R-80-1024","volume-title":"The Methodology of Knowledge Layers for Inducing Descriptions of Sequentially Ordered Events","author":"T.G. Dietterich","year":"1980","unstructured":"Dietterich, T.G., \u201cThe Methodology of Knowledge Layers for Inducing Descriptions of Sequentially Ordered Events,\u201dTechnical Report, R-80-1024, Department of Computer Science, University of Illinois at Urbana-Champaign, USA, 1980."},{"key":"BF03037228_CR15","series-title":"Technical Report, TR-93-28","volume-title":"Fossil: A Robust Relational Learner","author":"J. F\u00fcrnkranz","year":"1993","unstructured":"F\u00fcrnkranz, J., \u201cFossil: A Robust Relational Learner,\u201dTechnical Report, TR-93-28, Austrian Research Institute for Artificial Intelligence, Vienna, 1993."},{"key":"BF03037228_CR16","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E.M. Gold","year":"1967","unstructured":"Gold, E.M., \u201cLanguage Identification in the Limit,\u201dInformation and Control, 10, pp. 447\u2013474, 1967.","journal-title":"Information and Control"},{"key":"BF03037228_CR17","first-page":"121","volume-title":"Irrelevant Features and the Subset Selection Problem","author":"G.S. John","year":"1994","unstructured":"John, G.S., Kohavi, R., and Pfleger, K., \u201cIrrelevant Features and the Subset Selection Problem,\u201dProceedings Eleventh International Coference on Machine Learning, New Brunswick, New Jersey, San Francisco: Morgan Kaufmann, pp. 121\u2013129, 1994."},{"key":"BF03037228_CR18","first-page":"44","volume-title":"Discrimination-Based Constructive Induction of Logic Programs","author":"B. Kijsirikul","year":"1992","unstructured":"Kijsirikul, B., Numao, M., and Shimura, M., \u201cDiscrimination-Based Constructive Induction of Logic Programs,\u201dProceedings AAAI-92 Tenth National Conference on Artificial Intelligence, San Jose, CA, Menlo Park: AAAI Press, pp. 44\u201349, 1992."},{"key":"BF03037228_CR19","volume-title":"Inductive Logic Programming: Techniques and Applications","author":"N. Lavra\u010d","year":"1994","unstructured":"Lavra\u010d, N. and D\u017eeroski, S.,Inductive Logic Programming: Techniques and Applications, London: Ellis Horwood, 1994."},{"key":"BF03037228_CR20","first-page":"1100","volume-title":"An Inductive Approach to Learning Search Control Rules for Planning","author":"C. Leckie","year":"1993","unstructured":"Leckie, C. and Zukerman, I., \u201cAn Inductive Approach to Learning Search Control Rules for Planning,\u201dProceedings Thirteenth International Joint Conference on Artificial Intelligence, Chambery, France, San Francisco: Morgan Kaufmann, pp. 1100\u20131105, 1993."},{"key":"BF03037228_CR21","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1109\/TPAMI.1980.4767034","volume":"2","author":"R.S. Michalski","year":"1980","unstructured":"Michalski, R.S., \u201cPattern Recognition as Rule-Guided Inductive Inference,\u201dIEEE Transactions on Pattern Analysis and Machine Intelligence, 2, pp. 349\u2013361, 1980.","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"},{"key":"BF03037228_CR22","first-page":"47","volume":"1","author":"T.M. Mitchell","year":"1986","unstructured":"Mitchell, T.M., Keller, R.M., and Kedar-Cabelli, S.T., \u201cExplanation-Based Generalization: A Unifying View,\u201dMachine Learning, 1, pp. 47\u201380, 1986.","journal-title":"Machine Learning"},{"key":"BF03037228_CR23","first-page":"190","volume-title":"Efficient Algorithms for Minimizing Cross-Validation Error","author":"A.W. Moore","year":"1994","unstructured":"Moore, A.W. and Lee, M.S., \u201cEfficient Algorithms for Minimizing Cross-Validation Error,\u201dProceedings Eleventh International Conference on Machine Learning, New Brunswick, New Jersey, San Francisco: Morgan Kaufmann, pp. 190\u2013198 1994."},{"key":"BF03037228_CR24","first-page":"339","volume-title":"Machine Invention of First-Order Predicates by Inverting Resolution","author":"S. Muggleton","year":"1988","unstructured":"Muggleton, S. and Buntine, W., \u201cMachine Invention of First-Order Predicates by Inverting Resolution,\u201dProceedings Fifth International Conference on Machine Learning, Ann Arbor, Michigan, San Mateo: Morgan Kaufmann, pp. 339\u2013352, 1988."},{"key":"BF03037228_CR25","first-page":"113","volume-title":"An Experimental Comparison of Human and Machine Learning Formalisms","author":"S. Muggleton","year":"1989","unstructured":"Muggleton, S., Bain, M., Hayes-Michie, J., and Michie, D., \u201cAn Experimental Comparison of Human and Machine Learning Formalisms,\u201dProceedings of the Sixth International Machine Learning Workshop, Ithaca, NY, San Mateo: Morgan Kaufmann, pp. 113\u2013118, 1989."},{"key":"BF03037228_CR26","first-page":"281","volume-title":"Inductive Logic Programming","author":"S. Muggleton","year":"1992","unstructured":"Muggleton, S. and Feng, C., \u201cEfficient Induction of Logic Programs,\u201d inInductive Logic Programming (S. Muggleton, ed.), London: Academic Press, pp. 281\u2013298, 1992."},{"key":"BF03037228_CR27","first-page":"646","volume":"5","author":"S. Muggleton","year":"1992","unstructured":"Muggleton, S., King, R.D., and Sternberg, M.J., \u201cProtein Secondary Structure Prediction Using Logic-Based Machine Learning,\u201dProtein Engineering, 5, pp. 646\u2013657, 1992.","journal-title":"Protein Engineering"},{"key":"BF03037228_CR28","first-page":"432","volume-title":"A Knowledge-Intensive Approach to Learning Relational Concepts","author":"M.J. Pazzani","year":"1991","unstructured":"Pazzani, M.J., Brunk, C.A., and Silverstein, G., \u201cA Knowledge-Intensive Approach to Learning Relational Concepts,\u201dProceedings Eighth International Workshop on Machine Learning, Evanston Illinois, San Mateo: Morgan Kaufmann, pp. 432\u2013436, 1991."},{"issue":"1","key":"BF03037228_CR29","first-page":"57","volume":"9","author":"M.J. Pazzani","year":"1992","unstructured":"Pazzani, M.J. and Kibler, D., \u201cThe Utility of Knowledge in Inductive Learning,\u201dMachine Learning, 9, 1, pp. 57\u201394, 1992.","journal-title":"Machine Learning"},{"key":"BF03037228_CR30","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0890-5401(89)90010-2","volume":"80","author":"J.R. Quinlan","year":"1989","unstructured":"Quinlan, J.R. and Rivest, R.L., \u201cInferring Decision Trees Using the Minimum Description Length Principle,\u201dInformation and Computation, 80, pp. 227\u2013248, 1989.","journal-title":"Information and Computation"},{"key":"BF03037228_CR31","first-page":"239","volume":"5","author":"J.R. Quinlan","year":"1990","unstructured":"Quinlan, J.R., \u201cLearning Logical Definitions from, Relations,\u201dMachine Learning, 5, pp. 239\u2013266, 1990.","journal-title":"Machine Learning"},{"key":"BF03037228_CR32","doi-asserted-by":"crossref","unstructured":"Quinlan, J.R., \u201cDeterminate Literals in Inductive Logic Programming,\u201dProceedings Twelfth International Joint Conference on Artificial Intelligence, Sydney, Australia, pp. 746\u2013750, 1991.","DOI":"10.1016\/B978-1-55860-200-7.50091-X"},{"key":"BF03037228_CR33","volume-title":"C4.5: Programs for Machine Learning","author":"J.R. Quinlan","year":"1993","unstructured":"Quinlan, J.R.,C4.5: Programs for Machine Learning, San Mateo: Morgan Kaufmann, 1993."},{"key":"BF03037228_CR34","first-page":"3","volume-title":"FOIL: A Midterm Report","author":"J.R. Quinlan","year":"1993","unstructured":"Quinlan, J.R. and Cameron-Jones, R.M., \u201cFOIL: A Midterm Report,\u201dProceedings European Conference on Machine Learning, Vienna, Berlin: Springer-Verlag, pp. 3\u201320, 1993."},{"key":"BF03037228_CR35","volume-title":"Machine Learning: An Artificial Intelligence Approach, Vol. 2","author":"C.A. Sammut","year":"1986","unstructured":"Sammut, C.A. and Banerji, R.B., \u201cLearning Concepts by Asking Questions,\u201d inMachine Learning: An Artificial Intelligence Approach, Vol. 2 (R.S. Michalski, J.G. Carbonell and T.M. Mitchell, eds.), Los Altos: Morgan Kaufmann, 1986."},{"key":"BF03037228_CR36","unstructured":"Sammut, C.A., \u201cThe Origins of Inductive Logic Programming: A Prehistoric Tale,\u201dProceedings Third International Workshop on Inductive Logic Programming, Bled, Slovenia, pp. 127\u2013147, 1993."},{"key":"BF03037228_CR37","series-title":"Technical Report, 93\u201333","volume-title":"Traps and Pitfalls When Learning Logical Theories: A Case Study withFoil andFocl","author":"G. Semeraro","year":"1993","unstructured":"Semeraro, G., Brunk, C.A., and Pazzani, M.J., \u201cTraps and Pitfalls When Learning Logical Theories: A Case Study withFoil andFocl,\u201dTechnical Report, 93\u201333, Department of Information and Computer Science, University of California, Irvine, USA, 1993."},{"key":"BF03037228_CR38","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"E.Y. Shapiro","year":"1983","unstructured":"Shapiro, E.Y.,Algorithmic Program Debugging, Cambridge, MA: MIT Press, 1983."},{"key":"BF03037228_CR39","volume-title":"The Psychology of Computer Vision","author":"P.H. Winston","year":"1975","unstructured":"Winston, P.H., \u201cLearning Structural Descriptions from Examples,\u201d inThe Psychology of Computer Vision (P.H. Winston, ed.), New York: McGraw-Hill, 1975."},{"key":"BF03037228_CR40","first-page":"1128","volume-title":"A Methodology for Evaluating Theory Revision Systems: Results withAudrey II","author":"J. Wogulis","year":"1993","unstructured":"Wogulis, J. and Pazzani, M.J., \u201cA Methodology for Evaluating Theory Revision Systems: Results withAudrey II,\u201dProceedings thirteenth International Joint Conference on Artificial Intelligence, Chambery, France, San Francisco: Morgan Kaufmann, pp. 1128\u20131134, 1993."},{"key":"BF03037228_CR41","first-page":"1106","volume-title":"CombiningFoil and EBG to Speed-up Logic Programs","author":"J.M. Zelle","year":"1993","unstructured":"Zelle, J.M. and Mooney, R.J., \u201cCombiningFoil and EBG to Speed-up Logic Programs,\u201dProceedings Thirteenth International Joint Conference on Artificial Intelligence, Chambery, France, San Francisco: Morgan Kaufmann, pp. 1106\u20131111, 1993."},{"key":"BF03037228_CR42","volume-title":"Inducing Deterministic Prolog Parsers from Treebanks: A Machine Learning Approach","author":"J.M. Zelle","year":"1994","unstructured":"Zelle, J.M. and Mooney R.J., \u201cInducing Deterministic Prolog Parsers from Treebanks: A Machine Learning Approach,\u201dProceedings AAAI-94 Twelfth National Conference on Artificial Intelligence, Seattle, Washington, Menlo Park: AAAI Press, 1994."},{"key":"BF03037228_CR43","first-page":"343","volume-title":"Combining Top-down and Bottom-up Techniques in Inductive Logic Programming","author":"J.M. Zelle","year":"1994","unstructured":"Zelle, J.M., Mooney, R.J., and Konvisser, J.B., \u201cCombining Top-down and Bottom-up Techniques in Inductive Logic Programming,\u201dProceedings Eleventh International Conference on Machine Learning, New Brunswick, New Jersey, San Francisco: Morgan Kaufmann, pp. 343\u2013351, 1994."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037228.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037228\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037228","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T03:39:32Z","timestamp":1739072372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037228"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,12]]},"references-count":43,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1995,12]]}},"alternative-id":["BF03037228"],"URL":"https:\/\/doi.org\/10.1007\/bf03037228","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,12]]}}}