{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:39:47Z","timestamp":1752230387006,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":61,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540566021"},{"type":"electronic","value":"9783540475972"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56602-3_125","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:19:31Z","timestamp":1330255171000},"page":"21-37","source":"Crossref","is-referenced-by-count":10,"title":["Inductive logic programming: Derivations, successes and shortcomings"],"prefix":"10.1007","author":[{"given":"Stephen","family":"Muggleton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"2_CR1","first-page":"280","volume-title":"IJCAI-87","author":"R.B. Banerji","year":"1987","unstructured":"R.B. Banerji. Learning in the limit in a growing language. In IJCAI-87, pages 280\u2013282, San Mateo, CA, 1987. Morgan-Kaufmann."},{"key":"2_CR2","volume-title":"Technical report","author":"F. Bergadano","year":"1992","unstructured":"F. Bergadano. Towards an inductive logic programming language. Technical report, University of Torino, Torino, Italy, 1992."},{"key":"2_CR3","doi-asserted-by":"crossref","first-page":"474","DOI":"10.1016\/B978-0-08-051055-2.50026-2","volume-title":"Machine learning: an artificial intelligence approach, volume 3","author":"F. Bergadano","year":"1990","unstructured":"F. Bergadano and A. Giordana. Guiding induction with domain theories. In Y. Kodratoff and R. Michalski, editors, Machine learning: an artificial intelligence approach, volume 3, pages 474\u2013492. Morgan Kaufmann, San Mateo, CA, 1990."},{"key":"2_CR4","volume-title":"Proceedings of the Eighth International Machine Learning Workshop","author":"I. Bratko","year":"1991","unstructured":"I. Bratko, S. Muggleton, and A. Varsek. Learning qualitative models of dynamic systems. In Proceedings of the Eighth International Machine Learning Workshop, San Mateo, Ca, 1991. Morgan-Kaufmann."},{"key":"2_CR5","first-page":"31","volume-title":"Progress in machine learning","author":"B. Cestnik","year":"1987","unstructured":"B. Cestnik, I. Kononenko, and I. Bratko. Assistant 86: a knowledge-elicitation tool for sophisticated users. In Progress in machine learning, pages 31\u201345, Wilmslow, England, 1987. Sigma."},{"issue":"4","key":"2_CR6","first-page":"261","volume":"3","author":"P. Clark","year":"1989","unstructured":"P. Clark and T. Niblett. The CN2 algorithm. Machine Learning, 3(4):261\u2013283, 1989.","journal-title":"Machine Learning"},{"key":"2_CR7","first-page":"102","volume-title":"Compiling prior knowledge into an explicit bias","author":"W. Cohen","year":"1992","unstructured":"W. Cohen. Compiling prior knowledge into an explicit bias. In D. Sleeman and P. Edwards, editors, Proceedings of the Ninth International Workshop on Machine Learning, pages 102\u2013110. Morgan Kaufmann, San Mateo: CA, 1992."},{"key":"2_CR8","volume-title":"Technical report","author":"D. Conklin","year":"1992","unstructured":"D. Conklin and I. Witten. Complexity-based induction. Technical report, Dept. of Computing and Information Science, Queen's University, Kingston, Ontario, Canada, 1992."},{"key":"2_CR9","first-page":"107","volume":"8","author":"L. Raedt de","year":"1992","unstructured":"L. de Raedt. Interactive concept-learning and constructive induction by analogy. Machine Learning, 8:107\u2013150, 1992.","journal-title":"Machine Learning"},{"key":"2_CR10","volume-title":"CW 65","author":"L. Raedt de","year":"1992","unstructured":"L. de Raedt, N. Lavrac, and S. Dzeroski. Multiple predicate learning. CW 65, Dept. of Computer Science, Katholieke Universiteit Leuven, Leuven, Belgium, 1992."},{"key":"2_CR11","first-page":"67","volume-title":"IJCAI-81","author":"G. DeJong","year":"1981","unstructured":"G. DeJong. Generalisations based on explanations. In IJCAI-81, pages 67\u201369, San Mateo, CA, 1981. Morgan-Kaufmann."},{"key":"2_CR12","volume-title":"Inductive Logic Programming","author":"B. Dolsak","year":"1992","unstructured":"B. Dolsak and S. Muggleton. The application of Inductive Logic Programming to finite element mesh design. In S. Muggleton, editor, Inductive Logic Programming, London, 1992. Academic Press."},{"key":"2_CR13","unstructured":"S. Dzeroski. Handling noise in Inductive Logic Programming. PhD thesis, University of Ljubljana, 1991."},{"key":"2_CR14","volume-title":"Inductive Logic Programming","author":"S. Dzeroski","year":"1992","unstructured":"S. Dzeroski and N. Lavrac. Refinement graphs for FOIL and LINUS. In S. Muggleton, editor, Inductive Logic Programming. Academic Press, London, 1992."},{"key":"2_CR15","volume-title":"PAC-learnability of determinate logic programs","author":"S. Dzeroski","year":"1992","unstructured":"S. Dzeroski, S. Muggleton, and S. Russell. PAC-learnability of determinate logic programs. In COLT 92: Proceedings of the Conference on Learning Theory, San Mateo, CA, 1992. Morgan-Kaufmann."},{"key":"2_CR16","volume-title":"Inductive Logic Programming","author":"C. Feng","year":"1992","unstructured":"C. Feng. Inducing temporal fault dignostic rules from a qualitative model. In S. Muggleton, editor, Inductive Logic Programming. Academic Press, London, 1992."},{"key":"2_CR17","first-page":"154","volume-title":"Towards inductive generalisation in higher order logic","author":"C. Feng","year":"1992","unstructured":"C. Feng and S. Muggleton. Towards inductive generalisation in higher order logic. In D. Sleeman and P. Edwards, editors, Proceedings of the Ninth International Workshop on Machine Learning, pages 154\u2013162. Morgan Kaufmann, San Mateo: CA, 1992."},{"key":"2_CR18","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1207\/s15516709cog0702_3","volume":"7","author":"D. Gentner","year":"1983","unstructured":"D. Gentner. Structure-mapping: a theoretical framework for analogy. Cognitive Science, 7:155\u2013170, 1983.","journal-title":"Cognitive Science"},{"key":"2_CR19","unstructured":"D. Gillies. Confirmation theory and machine learning. In Proceedings of the Second Inductive Learning Workshop, Tokyo, 1992. ICOT TM-1182."},{"key":"2_CR20","volume-title":"Analogical reasoning based on higher-order unification","author":"M. Harao","year":"1990","unstructured":"M. Harao. Analogical reasoning based on higher-order unification. In Proceedings of the First International Conference on Algorithmic Learning Theory, Tokyo, 1990. Ohmsha."},{"key":"2_CR21","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1016\/B978-0-08-051055-2.50031-6","volume-title":"Machine learning: an artificial intelligence approach, volume 3","author":"D. Haussler","year":"1990","unstructured":"D. Haussler. Applying Valiant's learning framework to AI concept-learning problems. In Y. Kodratoff and R. Michalski, editors, Machine learning: an artificial intelligence approach, volume 3, pages 641\u2013669. Morgan Kaufman, San Mateo, CA, 1990."},{"key":"2_CR22","unstructured":"P. Idestam-Almquist. Generalization under implication: Expansion of clauses for linear roots. Technical report, Dept. of Computer and Systems Sciences, Stockholm University, 1992."},{"key":"2_CR23","volume-title":"Proceedings of the European Conference on Machine Learning","author":"J-U Kietz","year":"1993","unstructured":"J-U Kietz. Some lower bounds for the computational complexity of inductive logic programming. In Proceedings of the European Conference on Machine Learning, Berlin, 1993. Springer-Verlag."},{"key":"2_CR24","volume-title":"Inductive Logic Programming","author":"J-U. Kietz","year":"1992","unstructured":"J-U. Kietz and S. Wrobel. Controlling the complexity of learning in logic through syntactic and task-oriented models. In S. Muggleton, editor, Inductive Logic Programming. Academic Press, London, 1992."},{"issue":"23","key":"2_CR25","doi-asserted-by":"crossref","first-page":"11322","DOI":"10.1073\/pnas.89.23.11322","volume":"89","author":"R. D. King","year":"1992","unstructured":"R. King, S. Muggleton R. Lewis, and M. Sternberg. Drug design by machine learning: The use of inductive logic programming to model the structure-activity relationships of trimethoprim analogues binding to dihydrofolate reductase. Proceedings of the National Academy of Sciences, 89(23), 1992.","journal-title":"Proceedings of the National Academy of Sciences"},{"key":"2_CR26","first-page":"596","volume-title":"Logic Programming in Artificial Intelligence","author":"R. Kowalski","year":"1991","unstructured":"R. Kowalski. Logic Programming in Artificial Intelligence. In IJCAI-91: proceedings of the twelfth international joint conference on artificial intelligence, pages 596\u2013603, San Mateo, CA, 1991. Morgan-Kaufmann."},{"key":"2_CR27","first-page":"307","volume-title":"Machine Learning: An Artificial Intelligence Approach","author":"P. Langley","year":"1983","unstructured":"P. Langley, G.L. Bradshaw, and H. Simon. Rediscovering chemistry with the Bacon system. In R. Michalski, J. Carbonnel, and T. Mitchell, editors, Machine Learning: An Artificial Intelligence Approach, pages 307\u2013330. Tioga, Palo Alto, CA, 1983."},{"key":"2_CR28","volume-title":"Proceedings of the Ninth International Machine Learning Conference","author":"S. Lapointe","year":"1992","unstructured":"S. Lapointe and S. Matwin. Sub-unification: a tool for efficient induction of recursive programs. In Proceedings of the Ninth International Machine Learning Conference, Los Altos, 1992. Morgan Kaufmann."},{"key":"2_CR29","unstructured":"D.B. Lenat. On automated scientific theory formation: a case study using the AM program. In J.E. Hayes and D. Michie, editors, Machine Intelligence 9. Horwood, New York, 1981."},{"key":"2_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1984","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, 1984."},{"key":"2_CR31","first-page":"385","volume-title":"Generalized stable models: a semantics for abduction","author":"A. Kakas","year":"1990","unstructured":"A. Kakas P. Mancarella. Generalized stable models: a semantics for abduction. In L. Aiello, E. Sandewall, G. Hagert, and B. Gustavsson, editors, ECAI-90: proceedings of the ninth European conference on artificial intelligence, pages 385\u2013391, London, 1990. Pitman."},{"key":"2_CR32","volume-title":"Proceedings of IMAL 1986","author":"R. Michalski","year":"1986","unstructured":"R. Michalski, I. Mozetic, J. Hong, and N. Lavrac. The AQ15 inductive learning system: an overview and experiments. In Proceedings of IMAL 1986, Orsay, 1986. Universit\u00e9 de Paris-Sud."},{"issue":"1","key":"2_CR33","first-page":"47","volume":"1","author":"T.M. Mitchell","year":"1986","unstructured":"T.M. Mitchell, R.M. Keller, and S.T. Kedar-Cabelli. Explanation-based generalization: A unifying view. Machine Learning, 1(1):47\u201380, 1986.","journal-title":"Machine Learning"},{"key":"2_CR34","unstructured":"F. Mizoguchi and H. Ohwada. Constraint-directed generalization for learning spatial relations. In Proceedings of the Second Inductive Learning Workshop, Tokyo, 1992. ICOT TM-1182."},{"key":"2_CR35","volume-title":"Inductive Logic Programming","author":"E. Morales","year":"1992","unstructured":"E. Morales. Learning chess patterns. In S. Muggleton, editor, Inductive Logic Programming. Academic Press, London, 1992."},{"key":"2_CR36","unstructured":"S. Muggleton. A strategy for constructing new predicates in first order logic. In Proceedings of the Third European Working Session on Learning, pages 123\u2013130. Pitman, 1988."},{"issue":"4","key":"2_CR37","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S. Muggleton","year":"1991","unstructured":"S. Muggleton. Inductive Logic Programming. New Generation Computing, 8(4):295\u2013318, 1991.","journal-title":"New Generation Computing"},{"key":"2_CR38","unstructured":"S. Muggleton. Inductive Logic Programming. Academic Press, 1992."},{"key":"2_CR39","unstructured":"S. Muggleton. Inverting implication. Artificial Intelligence Journal, 1993. (to appear)."},{"key":"2_CR40","unstructured":"S. Muggleton. Predicate invention and utility. Journal of Experimental and Theoretical Artificial Intelligence, 1993. (to appear)."},{"key":"2_CR41","volume-title":"Inductive Logic Programming","author":"S. Muggleton","year":"1992","unstructured":"S. Muggleton and C. Feng. Efficient induction of logic programs. In S. Muggleton, editor, Inductive Logic Programming, London, 1992. Academic Press."},{"issue":"7","key":"2_CR42","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1093\/protein\/5.7.647","volume":"5","author":"S. Muggleton","year":"1992","unstructured":"S. Muggleton, R. King, and M. Sternberg. Protein secondary structure prediction using logic-based machine learning. Protein Engineering, 5(7):647\u2013657, 1992.","journal-title":"Protein Engineering"},{"key":"2_CR43","volume-title":"Proceedings of the Ninth International Machine Learning Conference","author":"S. Muggleton","year":"1992","unstructured":"S. Muggleton, A. Srinivasan, and M. Bain. Compression, significance and accuracy. In Proceedings of the Ninth International Machine Learning Conference, San Mateo, CA, 1992. Morgan-Kaufmann."},{"key":"2_CR44","doi-asserted-by":"crossref","unstructured":"S.H. Muggleton and W. Buntine. Machine invention of first-order predicates by inverting resolution. In Proceedings of the Fifth International Conference on Machine Learning, pages 339\u2013352. Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-64-4.50040-2"},{"key":"2_CR45","volume-title":"Inductive Logic Programming","author":"D. Page","year":"1992","unstructured":"D. Page and A. Frisch. Generalization and learnability: A study of constrained atoms. In S. Muggleton, editor, Inductive Logic Programming. Academic Press, London, 1992."},{"key":"2_CR46","volume-title":"Inductive Logic Programming","author":"M. Pazzani","year":"1992","unstructured":"M. Pazzani, C. Brunk, and G. Silverstein. An information-based approach to integrating empirical and explanation-based learning. In S. Muggleton, editor, Inductive Logic Programming. Academic Press, London, 1992."},{"key":"2_CR47","unstructured":"G.D. Plotkin. Automatic Methods of Inductive Inference. PhD thesis, Edinburgh University, August 1971."},{"key":"2_CR48","first-page":"304","volume-title":"Generating production rules from decision trees","author":"J.R. Quinlan","year":"1987","unstructured":"J.R. Quinlan. Generating production rules from decision trees. In Proceedings of the Tenth International Conference on Artificial Intelligence, pages 304\u2013307, San Mateo, CA:, 1987. Morgan-Kaufmann."},{"key":"2_CR49","first-page":"746","volume-title":"Determinate literals in inductive logic programming","author":"J.R. Quinlan","year":"1991","unstructured":"J.R. Quinlan. Determinate literals in inductive logic programming. In IJCAI-91: Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, pages 746\u2013750, San Mateo, CA:, 1991. Morgan-Kaufmann."},{"key":"2_CR50","first-page":"239","volume":"5","author":"R. Quinlan","year":"1990","unstructured":"R. Quinlan. Learning logical definitions from relations. Machine Learning, 5:239\u2013266, 1990.","journal-title":"Machine Learning"},{"key":"2_CR51","volume-title":"PhD thesis","author":"B. Richards","year":"1992","unstructured":"B. Richards. An operator-based approach to first-order theory revision. PhD thesis, University of Austin, Texas, 1992."},{"key":"2_CR52","volume-title":"Inductive Logic Programming","author":"C. Rouveirol","year":"1992","unstructured":"C. Rouveirol. Extensions of inversion of resolution applied to theory completion. In S. Muggleton, editor, Inductive Logic Programming. Academic Press, London, 1992."},{"key":"2_CR53","volume-title":"Tree-structured bias","author":"S. Russell","year":"1988","unstructured":"S. Russell. Tree-structured bias. In Proceedings of the Eighth National Conference on Artificial Intelligence, San Mateo, CA, 1988. Morgan-Kaufmann."},{"key":"2_CR54","first-page":"167","volume-title":"Machine Learning: An Artificial Intelligence Approach. Vol. 2","author":"C. Sammut","year":"1986","unstructured":"C. Sammut and R.B Banerji. Learning concepts by asking questions. In R. Michalski, J. Carbonnel, and T. Mitchell, editors, Machine Learning: An Artificial Intelligence Approach. Vol. 2, pages 167\u2013192. Morgan-Kaufmann, San Mateo, CA, 1986."},{"key":"2_CR55","doi-asserted-by":"crossref","unstructured":"E.Y. Shapiro. Algorithmic program debugging. MIT Press, 1983.","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"2_CR56","unstructured":"A. Srinivasan, S. Muggleton, and M. Bain. Distinguishing exceptions from noise in non-monotonic learning. In S. Muggleton, editor, Proceedings of the Second Inductive Logic Programming Workshop. ICOT TM-1182, Tokyo, 1992."},{"key":"2_CR57","first-page":"269","volume":"93","author":"M. Sternberg","year":"1992","unstructured":"M. Sternberg, R. Lewis, R. King, and S. Muggleton. Modelling the structure and function of enzymes by machine learning. Proceedings of the Royal Society of Chemistry: Faraday Discussions, 93:269\u2013280, 1992.","journal-title":"Proceedings of the Royal Society of Chemistry: Faraday Discussions"},{"issue":"4","key":"2_CR58","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/BF00297245","volume":"4","author":"M. Stickel","year":"1988","unstructured":"M. Stickel. A Prolog technology theorem prover: implementation by an extended prolog compiler. Journal of Automated Reasoning, 4(4):353\u2013380, 1988.","journal-title":"Journal of Automated Reasoning"},{"issue":"11","key":"2_CR59","doi-asserted-by":"crossref","first-page":"1134","DOI":"10.1145\/1968.1972","volume":"27","author":"L. Valiant","year":"1984","unstructured":"L. Valiant. A theory of the learnable. Communications of the ACM, 27(11):1134\u20131142, 1984.","journal-title":"Communications of the ACM"},{"key":"2_CR60","first-page":"237","volume-title":"EWSL-88","author":"R. Wirth","year":"1988","unstructured":"R. Wirth. Learning by failure to prove. In EWSL-88, pages 237\u2013251, London, 1988. Pitman."},{"key":"2_CR61","volume-title":"Inductive Logic Programming","author":"R. Wirth","year":"1992","unstructured":"R. Wirth and P. O'Rorke. Constraints for predicate invention. In S. Muggleton, editor, Inductive Logic Programming, London, 1992. Academic Press."}],"container-title":["Lecture Notes in Computer Science","Machine Learning: ECML-93"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56602-3_125.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:52:31Z","timestamp":1742593951000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56602-3_125"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566021","9783540475972"],"references-count":61,"URL":"https:\/\/doi.org\/10.1007\/3-540-56602-3_125","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}