{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T15:11:25Z","timestamp":1786979485115,"version":"build-2736575974"},"reference-count":61,"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\/bf03037227","type":"journal-article","created":{"date-parts":[[2009,4,21]],"date-time":"2009-04-21T23:02:11Z","timestamp":1240354931000},"page":"245-286","source":"Crossref","is-referenced-by-count":884,"title":["Inverse entailment and progol"],"prefix":"10.1007","volume":"13","author":[{"given":"Stephen","family":"Muggleton","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"BF03037227_CR1","doi-asserted-by":"crossref","unstructured":"Bain, M. and Muggleton, S., \u201cNon-Monotonic Learning,\u201d inMachine Intelligence 12 (D. Michie, ed.), Oxford University Press, 1991.","DOI":"10.1093\/oso\/9780198538233.003.0008"},{"key":"BF03037227_CR2","volume-title":"Proceedings of the Eighth International Machine Learning Workshop","author":"I. Bratko","year":"1991","unstructured":"Bratko, I., Muggleton, S., and Varsek, A., \u201cLearning Qualitative Models of Dynamic Systems,\u201d inProceedings of the Eighth International Machine Learning Workshop, San Mateo, Ca, Morgan-Kaufmann, 1991."},{"key":"BF03037227_CR3","volume-title":"Programming in Prolog","author":"W.F. Clocksin","year":"1981","unstructured":"Clocksin, W.F. and Mellish, C.S.,Programming in Prolog, Springer-Verlag, Berlin, 1981."},{"key":"BF03037227_CR4","unstructured":"Cohen, W., \u201cLearnability of Restricted Logic Programs,\u201d inProceedings of the 3rd International Workshop on Inductive Logic Programming (S. Muggleton, ed.) (Technical Report IJS-DP-6707 of the Josef Stefan Institute, Ljubljana, Slovenia), pp. 41\u201372, 1993."},{"key":"BF03037227_CR5","series-title":"Technical Report","volume-title":"Complexity-Based Induction","author":"D. Conklin","year":"1992","unstructured":"Conklin, D. and Witten, I., \u201cComplexity-Based Induction,\u201dTechnical Report, Department of Computing and Information Science, Queen\u2019s University, Kingston, Ontario, Canada, 1992."},{"key":"BF03037227_CR6","volume-title":"Inductive Logic Programming","author":"B. Dolsak","year":"1992","unstructured":"Dolsak, B. and Muggleton, S., \u201cThe Application of Inductive Logic Programming to Finite Element Mesh Design,\u201d inInductive Logic Programming (S. Muggleton, ed.), Academic Press, London, 1992."},{"key":"BF03037227_CR7","volume-title":"An Inductive Logic Programming Implementation","author":"R. Dormer","year":"1993","unstructured":"Dormer, R., \u201cAn Inductive Logic Programming Implementation,\u201d MScthesis, Oxford University Computing Laboratory, Oxford, 1993."},{"key":"BF03037227_CR8","volume-title":"Inductive Logic Programming","author":"C. Feng","year":"1992","unstructured":"Feng, C., \u201cInducing Temporal Fault Diagnostic Rules from a Qualitative Model,\u201d inInductive Logic Programming (S. Muggleton, ed.), Academic Press, London, 1992."},{"key":"BF03037227_CR9","unstructured":"Gillies, D.A., \u201cConfirmation Theory and Machine Learning,\u201d inProceedings of the Second Inductive Logic Programming Workshop, Tokyo,ICOT Technical Report, TM-1182, 1992."},{"key":"BF03037227_CR10","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 Lmit,\u201dInformation and Control, 10, pp. 447\u2013474, 1967.","journal-title":"Information and Control"},{"issue":"2","key":"BF03037227_CR11","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0020-0190(87)90103-7","volume":"24","author":"G. Gottlob","year":"1987","unstructured":"Gottlob, G., \u201cSubsumption and Implication,\u201dInformation Processing Letters, 24, 2, pp. 109\u2013111, 1987.","journal-title":"Information Processing Letters"},{"key":"BF03037227_CR12","unstructured":"Grobelnik, M., \u201cMarkus\u2014An Optimized Model Inference System,\u201d inProceedings of the ECAI Workshop on Logical Approaches to Machine Learning, 1992."},{"key":"BF03037227_CR13","unstructured":"Idestam-Almquist, P., \u201cLearning Missing Clauses by Inverse Resolution,\u201d inProceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, ICOT, pp. 610\u2013617, 1992."},{"key":"BF03037227_CR14","unstructured":"Idestam-Almquist, P., \u201cGeneralization of Clauses\u201dPhD Thesis, Sect. 1, Stockholm univ. 1993."},{"key":"BF03037227_CR15","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1098\/rstl.1870.0022","volume":"160","author":"W.S. Jevons","year":"1870","unstructured":"Jevons, W.S., \u201cOn the Mechanisation of Deductive Inference,\u201dPhilosophical Transactions of the Royal Society of London, 160, pp. 497\u2013518, 1870.","journal-title":"Philosophical Transactions of the Royal Society of London"},{"key":"BF03037227_CR16","volume-title":"The Principles of Science: A Treatise on Logic and Scientific Method","author":"W.S. Jevons","year":"1874","unstructured":"Jevons, W.S.,The Principles of Science: A Treatise on Logic and Scientific Method, Macmillan, London, 1874."},{"key":"BF03037227_CR17","doi-asserted-by":"crossref","unstructured":"Kakas, A.C., Kowalski, R.A., and Toni, F., \u201cAbductive Logic Programming,\u201dJournal of Logic and Computation, 2, 1992.","DOI":"10.1093\/logcom\/2.6.719"},{"key":"BF03037227_CR18","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1073\/pnas.89.23.11322","volume":"89","author":"R. King","year":"1992","unstructured":"King, R., Muggleton, S., Lewis, R., and Sternberg, M., \u201cDrug Design by Machine Learning: The Use of Inductive Logic Programming to Model the Structure-Activity Relationships of Trimethoprim Analogues Binding to Dihydrofolate Reductase,\u201dProceedings of the National Academy of Sciences, 89, 23, 1992.","journal-title":"Proceedings of the National Academy of Sciences"},{"key":"BF03037227_CR19","volume-title":"Combinatorics: Theory and Applications","author":"V. Krishnamurthy","year":"1986","unstructured":"Krishnamurthy, V.,Combinatorics: Theory and Applications, Ellis Horwood, Chichester, England, 1986."},{"key":"BF03037227_CR20","doi-asserted-by":"crossref","unstructured":"van der Laag, P.R. and Nienhuys-Cheng., \u201cSubsumption and Refinement in Model Inference,\u201d inProceedings of the 6th European Conference on Machine Learning, volume 667 of Lecture Notes in Artificial Intelligence (P. Brazdil, ed.) Springer-Verlag, pp. 95\u2013114, 1993.","DOI":"10.1007\/3-540-56602-3_130"},{"key":"BF03037227_CR21","doi-asserted-by":"crossref","unstructured":"van der Laag, P.R. and Nienhuys-Cheng., \u201cExistence and Nonexistence of Complete Refinement Operators,\u201d inProceedings of the 7th European Conference on Machine Learning (F. Bergadano and L. De Raedt, eds.),volume 784 of Lecture Notes in Artificial Intelligence, Springer-Verlag, pp. 307\u2013322, 1994.","DOI":"10.1007\/3-540-57868-4_66"},{"key":"BF03037227_CR22","volume-title":"Proceedings of the Ninth International Machine Learning Conference","author":"S. Lapointe","year":"1992","unstructured":"Lapointe, S. and Matwin, S., \u201cSub-Unification: A Tool for Efficient Induction of Recursive Programs,\u201d inProceedings of the Ninth International Machine Learning Conference, Los Altos, Morgan Kaufmann, 1992."},{"key":"BF03037227_CR23","volume-title":"A Completeness Theorem and a Computer Program for Finding Theorems Derivable from Given Axioms","author":"C. Lee","year":"1967","unstructured":"Lee, C., \u201cA Completeness Theorem and a Computer Program for Finding Theorems Derivable from Given Axioms,\u201dPh.D. thesis, University of California, Berkeley, 1967."},{"key":"BF03037227_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3860-5","volume-title":"An Introduction to Kolmogorov Complexity and Its Applications","author":"M. Li","year":"1993","unstructured":"Li, M. and Vitanyi, P.,An Introduction to Kolmogorov Complexity and Its Applications, Springer-Verlag, Berlin, 1993."},{"key":"BF03037227_CR25","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1613\/jair.39","volume":"1","author":"C.X. Ling","year":"1994","unstructured":"Ling, C.X., \u201cLearning the Past Tense of English Verbs: The Symbolic Pattern Associators vs. Connectionist Models,\u201dJournal of Artificial Intelligence Research, 1, pp. 209\u2013229, 1994.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"BF03037227_CR26","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":"Lloyd, J.W.,Foundations of Logic Programming, Springer-Verlag, Berlin, 1984."},{"key":"BF03037227_CR27","first-page":"165","volume-title":"Machine Intelligence 5","author":"B. Meltzer","year":"1969","unstructured":"Meltzer, B., \u201cPower Amplification for Automatic Theorem Proving,\u201d inMachine Intelligence 5 (B. Meltzer and D. Michie, eds.), Edinburgh University Press, Edinburgh, pp. 165\u2013179, 1969."},{"key":"BF03037227_CR28","unstructured":"Michalski, R. and Larson, J., \u201cIncremental Generation of vl1 Hypotheses: The Underlying Methodology and the Description of Program AQ11,\u201dISG 83\u20135, Computer Science Department, University of Illinois at Urbana-Champaign, 1980."},{"key":"BF03037227_CR29","unstructured":"Muggleton, S., \u201cDuce, an Oracle Based Approach to Constructive Induction,\u201d inIJCAI-87, Kaufmann, pp. 287\u2013292, 1987."},{"key":"BF03037227_CR30","unstructured":"Muggleton, S., \u201cA Strategy for Constructing New Predicates in First Order Logic,\u201d inProceedings of the Third European Working Session on Learning, Pitman, pp. 123\u2013130, 1988."},{"issue":"4","key":"BF03037227_CR31","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S. Muggleton","year":"1991","unstructured":"Muggleton, S., \u201cInductive Logic Programming,\u201dNew Generation Computing, 8, 4, pp. 295\u2013318, 1991.","journal-title":"New Generation Computing"},{"key":"BF03037227_CR32","doi-asserted-by":"crossref","unstructured":"Muggleton, S., \u201cInverting the Resolution Principle,\u201d inMachine Intelligence 12, Oxford University Press, 1991.","DOI":"10.1093\/oso\/9780198538233.003.0007"},{"key":"BF03037227_CR33","unstructured":"Muggleton, S., \u201cInverting Implication,\u201d inProceedings of the Second Inductive Logic Programming Workshop, Tokyo,ICOT Technical Report, TM-1182, 1992."},{"key":"BF03037227_CR34","first-page":"371","volume-title":"Proceedings of the Eleventh International Machine Learning Conference","author":"S. Muggleton","year":"1994","unstructured":"Muggleton, S., \u201cBayesian Inductive Logic Programming,\u201d inProceedings of the Eleventh International Machine Learning Conference (W. Cohen and H. Hirsh, eds.), San Mateo, CA, Morgan-Kaufmann, pp. 371\u2013379, 1994."},{"issue":"1","key":"BF03037227_CR35","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/181668.181671","volume":"5","author":"S. Muggleton","year":"1994","unstructured":"Muggleton, S., \u201cInductive Logic Programming: Derivations, Successes and Shortcomings,\u201dSIGART Bulletin, 5, 1 pp. 5\u201311, 1994.","journal-title":"SIGART Bulletin"},{"issue":"1","key":"BF03037227_CR36","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1080\/09528139408953784","volume":"6","author":"S. Muggleton","year":"1994","unstructured":"Muggleton, S., \u201cPredicate Invention and Utilization,\u201dJournal of Experimental and Theoretical Artificial Intelligence, 6, 1, pp. 127\u2013130, 1994.","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"BF03037227_CR37","doi-asserted-by":"crossref","unstructured":"Muggleton, S. and Buntine, W., \u201cMachine Invention of First-Order Predicates by Inverting Resolution,\u201d inProceedings of the Fifth International Conference on Machine Learning, Kaufmann, pp. 339\u2013352, 1988.","DOI":"10.1016\/B978-0-934613-64-4.50040-2"},{"key":"BF03037227_CR38","unstructured":"Muggleton, S. and Feng, C., \u201cEfficient Induction of Logic Programs,\u201d inProceedings of the First Conference on Algorithmic Learning Theory, Tokyo, Ohmsha, 1990."},{"issue":"7","key":"BF03037227_CR39","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1093\/protein\/5.7.647","volume":"5","author":"S. Muggleton","year":"1992","unstructured":"Muggleton, S., King, R., and Sternberg, M., \u201cProtein Secondary Structure Prediction Using Logic-Based Machine Learning,\u201dProtein Engineering, 5, 7, pp. 647\u2013657, 1992.","journal-title":"Protein Engineering"},{"key":"BF03037227_CR40","unstructured":"Muggleton, S. and Page, C.D., \u201cSelf-Saturation of Definite Clauses,\u201d inProceedings of the Fourth International Inductive Logic Programming Workshop, (S. Wrobel, ed.) Gesellschaft f\u00fcr Mathematik und Datenverarbeitung MBH, pp. 161\u2013174, 1994.GMD-Studien Nr 237."},{"key":"BF03037227_CR41","series-title":"Technical Report, PRG-TR-13-94","volume-title":"Beyond First- Order Learning: Inductive Learning with Higher-Order Logic","author":"S. Muggleton","year":"1994","unstructured":"Muggleton, S. and Page, D., \u201cBeyond First- Order Learning: Inductive Learning with Higher-Order Logic,\u201dTechnical Report, PRG-TR-13-94, Oxford University Computing Laboratory, Oxford, 1994."},{"key":"BF03037227_CR42","series-title":"Technical Report, PRG-TR-3-94","volume-title":"A Learnability Model for Universal Representations","author":"S. Muggleton","year":"1994","unstructured":"Muggleton, S. and Page, D., \u201cA Learnability Model for Universal Representations,\u201dTechnical Report, PRG-TR-3-94, Oxford University Computing Laboratory, Oxford, 1994."},{"issue":"20","key":"BF03037227_CR43","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19","author":"S. Muggleton","year":"1994","unstructured":"Muggleton, S. and De Raedt, L., \u201cInductive Logic Programming: Theory and Methods,\u201dJournal of Logic Programming, 19, 20, pp. 629\u2013679, 1994.","journal-title":"Journal of Logic Programming"},{"key":"BF03037227_CR44","first-page":"338","volume-title":"Proceedings of the Ninth International Machine Learning Conference","author":"S. Muggleton","year":"1992","unstructured":"Muggleton, S., Srinivasan, A., and Bain, M., \u201cCompression, Significance and Accuracy,\u201d inProceedings of the Ninth International Machine Learning Conference (D. Sleeman and P. Edwards, eds.), San Mateo, CA, Morgan-Kaufmann, pp. 338\u2013347, 1992."},{"key":"BF03037227_CR45","volume-title":"Principles of Artificial Intelligence","author":"N.J. Nilsson","year":"1980","unstructured":"Nilsson, N.J.,Principles of Artificial Intelligence, Tioga, Palo Alto, CA, 1980."},{"key":"BF03037227_CR46","first-page":"153","volume-title":"Machine Intelligence 5","author":"G.D. Plotkin","year":"1969","unstructured":"Plotkin, G.D., \u201cA Note on Inductive Generalisation,\u201d inMachine Intelligence 5 (B. Meltzer and D. Michie, eds.), Edinburgh University Press, Edinburgh, pp. 153\u2013163, 1969."},{"key":"BF03037227_CR47","unstructured":"Plotkin, G.D., \u201cAutomatic Methods of Inductive Inference,\u201dPh.D thesis, Edinburgh University, August 1971."},{"key":"BF03037227_CR48","first-page":"203","volume-title":"Machine Intelligence 5","author":"R.J. Popplestone","year":"1969","unstructured":"Popplestone, R.J., \u201cAn Experiment in Automatic Induction,\u201d inMachine Intelligence 5 (B. Meltzer and D. Michie, eds.), Edinburgh University Press, Edinburgh, pp. 203\u2013215, 1969."},{"key":"BF03037227_CR49","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":"BF03037227_CR50","first-page":"13","volume-title":"Proceedings of the 7th Australian Joint Conference on Artificial Intelligence","author":"J.R. Quinlan","year":"1993","unstructured":"Quinlan, J.R., \u201cPast Tenses of Verbs and First-Order Learning,\u201d inProceedings of the 7th Australian Joint Conference on Artificial Intelligence (C. Zhang, J. Debenham, and D. Lukose, eds.), Singapore, World Scientific, pp. 13\u201320, 1993."},{"key":"BF03037227_CR51","first-page":"135","volume-title":"Machine Intelligence 5","author":"J.C. Reynolds","year":"1969","unstructured":"Reynolds, J.C., \u201cTransformational Systems and the Algebraic Structure of Atomic Formulas,\u201d inMachine Intelligence 5 (B. Meltzer and D. Michie, eds.), Edinburgh University Press, Edinburgh, pp. 135\u2013151, 1969."},{"key":"BF03037227_CR52","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1016\/0005-1098(78)90005-5","volume":"14","author":"J. Rissanen","year":"1978","unstructured":"Rissanen, J., \u201cModeling by Shortest Data Description,\u201dAutomatica, 14, pp. 465\u2013471, 1978.","journal-title":"Automatica"},{"issue":"1","key":"BF03037227_CR53","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"Robinson, J.A., \u201cA Machine-Oriented Logic Based on the Resolution Principle,\u201dJACM, 12, 1, pp. 23\u201341, January 1965.","journal-title":"JACM"},{"key":"BF03037227_CR54","volume-title":"Inductive Logic Programming","author":"C. Rouveirol","year":"1992","unstructured":"Rouveirol, C., \u201cExtensions of Inversion of Resolution Applied to Theory Completion,\u201d inInductive Logic Programming (S. Muggleton, ed.), Academic Press, London, 1992."},{"key":"BF03037227_CR55","first-page":"201","volume-title":"EWSL-89","author":"C. Rouveirol","year":"1989","unstructured":"Rouveirol C. and Puget, J-F., \u201cA Simple and General Solution for Inverting Resolution,\u201d inEWSL-89, London, Pitman, pp. 201\u2013210, 1989."},{"key":"BF03037227_CR56","volume-title":"The Mathematical Theory of Communication","author":"C.E. Shannon","year":"1963","unstructured":"Shannon, C.E. and Weaver, W.,The Mathematical Theory of Communication, University of Illinois Press, Urbana, 1963."},{"key":"BF03037227_CR57","doi-asserted-by":"crossref","unstructured":"Shapiro, E.Y.,Algorithmic Program Debugging, MIT Press, 1983.","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"BF03037227_CR58","unstructured":"Srinivasan, A., Muggleton, S.H., King, R.D., and Sternberg, M.J.E., \u201cMutagenesis; ILP Experiments in a Non-Determinate Biological Domain,\u201d inProceedings of the Fourth International Inductive Logic Programming Workshop (S. Wrobel, ed.), Gesellschaft f\u00fcr Mathematik und Datenverarbeitung MBH, 1994.GMD-Studien Nr 237."},{"key":"BF03037227_CR59","series-title":"Technical Report, PRG-TR-9-95","volume-title":"The Effect of Background Knowledge in Inductive Logic Programming: A Case Study","author":"A. Srinivasan","year":"1995","unstructured":"Srinivasan, A., Muggleton, S.H., King, R.D., and Sternberg, M.J.E., \u201cThe Effect of Background Knowledge in Inductive Logic Programming: A Case Study,\u201dTechnical Report, PRG-TR-9-95, Oxford University Computing Laboratory, Oxford, 1995."},{"key":"BF03037227_CR60","series-title":"Technical Report, PRG-TR-8-95","volume-title":"Theories for Mutagenicity: A Study of First-Order and Feature Based Induction","author":"A. Srinivasan","year":"1995","unstructured":"Srinivasan, A., Muggleton, S.H., King, R.D., and Sternberg, M.J.E., \u201cTheories for Mutagenicity: A Study of First-Order and Feature Based Induction,\u201dTechnical Report, PRG-TR-8-95, Oxford University Computing Laboratory, Oxford, 1995."},{"key":"BF03037227_CR61","first-page":"239","volume-title":"EWSL-89","author":"R. Wirth","year":"1989","unstructured":"Wirth, R., \u201cCompleting Logic Programs by Inverse Resolution,\u201d inEWSL-89, London, Pitman, pp. 239\u2013250, 1989."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037227.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037227\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037227","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T22:39:58Z","timestamp":1739054398000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037227"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,12]]},"references-count":61,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1995,12]]}},"alternative-id":["BF03037227"],"URL":"https:\/\/doi.org\/10.1007\/bf03037227","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,12]]}}}