The DOI matches its Crossref record; 40 of the 45 references it cites were found in a registry or an index.
Learning Logical Definitions from Relations
Open accessOverview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
The source backs part of the claim, not all of it — or backs it for a different population, condition or comparison.
In the citing paper
“ILP systems such as ALEPH (Srinivasan 2001) and FOIL (Quinlan 1990) have no predicate invention and limited recursion learning and therefore cannot learn recursive grammars from example sequences.”
From Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited (2015) · cites this paper as Quinlan 1990
Experimental — accuracy not yet measuredThe source backs part of the claim, not all of it — or backs it for a different population, condition or comparison.
In the citing paper
“Indeed, many popular ILP systems, such as FOIL (Quinlan 1990), Progol (Muggleton 1995), TILDE (Blockeel and De Raedt 1998), and Aleph (Srinivasan 2001) struggle to learn recursive programs.”
From Learning programs by learning from failures (2021) · cites this paper as Quinlan 1990
Experimental — accuracy not yet measuredThe source backs part of the claim, not all of it — or backs it for a different population, condition or comparison.
In the citing paper
“Although early work in ILP explored this form of learning (Sammut, 1981; Quinlan, 1990), it has been under-explored until recently (Lin et al., 2014; Cropper, 2019, 2020; Hocquette & Muggleton, 2020; Dumancic et al., 2021), mostly because of new techniques for PI.”
From Inductive Logic Programming At 30: A New Introduction (2022) · cites this paper as Quinlan, 1990
Experimental — accuracy not yet measuredThe cited source says what the claim attributes to it.
In the citing paper
“Quinlan's (1990) FOIL system is one of the most well-known ILP systems and is a natural extension of ID3 (Quinlan, 1986) from the propositional setting to the first-order setting.”
From Inductive Logic Programming At 30: A New Introduction (2022) · cites this paper as Quinlan, 1990
The cited source says what the claim attributes to it.
In the citing paper
“The above paragraph refers only to generality orders on single clauses, as many systems employ the covering algorithm whereby hypotheses are constructed iteratively clause by clause (Quinlan, 1990; De Raedt & Dehaspe, 1997; Muggleton, 1995; Blockeel & De Raedt, 1998; Srinivasan, 2001).”
From Inductive Logic Programming At 30: A New Introduction (2022) · cites this paper as Quinlan, 1990
The cited source says what the claim attributes to it.
In the citing paper
“Top-down algorithms, (Quinlan, 1990; Blockeel & De Raedt, 1998; Bratko, 1999; Muggleton et al., 2008) start with a general hypothesis and then specialise it.”
From Inductive Logic Programming At 30: A New Introduction (2022) · cites this paper as Quinlan, 1990
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
Classification and Regression Trees.
Gordon, A. D., Breiman, L., Friedman, J. H., Olshen, R. A., & Stone, C. J. (1984) · Biometrics · doi:10.2307/2530946 · Cited by 23,867
Quinlan, J. R. (1986) · Machine Learning · doi:10.1007/bf00116251 · Cited by 21,439
Self-citationClassification and Regression Trees.
Ryzin, J. V., Breiman, L., Friedman, J. H., Olshen, R. A., & Stone, C. J. (1986) · Journal of the American Statistical Association · doi:10.2307/2288003 · Cited by 21,030
Classification And Regression Trees
Breiman, L., Friedman, J. H., Olshen, R. A., & Stone, C. J. (2017) · doi:10.1201/9781315139470 · Cited by 11,417
Quinlan, J. R. (1987) · International Journal of Man-Machine Studies · doi:10.1016/s0020-7373(87)80053-6 · Cited by 2,553
Self-citationClark, P. A., & Niblett, T. (1989) · Machine Learning · doi:10.1023/a:1022641700528 · Cited by 2,267
A Universal Prior for Integers and Estimation by Minimum Description Length
Rissanen, J. (1983) · The Annals of Statistics · doi:10.1214/aos/1176346150 · Cited by 1,655
Explanation-Based Generalization: A Unifying View
Mitchell, T. M., Keller, R. M., & Kedar-Cabelli, S. T. (1986) · Machine Learning · doi:10.1023/a:1022691120807 · Cited by 1,382
Expert systems in the micro-electronic age
Michie, D. (1979) · CERN Document Server (European Organization for Nuclear Research) · Cited by 1,119
Shapiro, E. Y. (1983) · doi:10.7551/mitpress/1192.001.0001 · Cited by 1,085
Prolog programming for artificial intelligence
(1986) · Computer-Aided Design · doi:10.1016/0010-4485(86)90018-7 · Cited by 1,080
Learning Structural Descriptions From Examples
Winston, P. H. (1970) · DSpace@MIT (Massachusetts Institute of Technology) · Cited by 995
Rivest, R. L. (1987) · Machine Learning · doi:10.1023/a:1022607331053 · Cited by 894
Explanation-Based Learning: An Alternative View
DEJONG, G. F., & Mooney, R. J. (1986) · Machine Learning · doi:10.1023/a:1022898111663 · Cited by 839
Learning distributed representations of concepts.
Hinton, G. E. (1989) · eScholarship (California Digital Library) · Cited by 827
Michalski, R. S., Mozetič, I., Hong, J., & Nada Lavrač, A. (1986) · National Conference on Artificial Intelligence · Cited by 747
Simon, H. A., Hunt, E. B., Marin, J., & Stone, P. (1967) · The American Journal of Psychology · doi:10.2307/1421207 · Cited by 659
Inferring decision trees using the minimum description lenght principle
Quinlan, J. R., & Rivest, R. L. (1989) · Information and Computation · doi:10.1016/0890-5401(89)90010-2 · Cited by 650
Self-citationHunt, E. B., Marin, J., & Stone, P. J. (1966) · Medical Entomology and Zoology · Cited by 646
ASSISTANT 86: a knowledge-elicitation tool for sophisticated users
Cestnik, B., Kononenko, I., & Bratko, I. (1987) · Medical Entomology and Zoology · Cited by 436
Machine Invention of First-order Predicates by Inverting Resolution
MUGGLETON, S., & BUNTINE, W. (1988) · Machine Learning Proceedings 1988 · doi:10.1016/b978-0-934613-64-4.50040-2 · Cited by 436
Pattern Recognition as Rule-Guided Inductive Inference
Michalski, R. S. (1980) · IEEE Transactions on Pattern Analysis and Machine Intelligence · doi:10.1109/tpami.1980.4767034 · Cited by 405
Quinlan, J. R. (1999) · International Journal of Human-Computer Studies · doi:10.1006/ijhc.1987.0321 · Cited by 272
Self-citationExplanation-Based Generalization: A Unifying View
MITCHELL, T. M., Keller, R. M., & Kedar-Cabelli, S. T. (1988) · Elsevier eBooks · doi:10.1016/b978-1-4832-1446-7.50034-0 · Cited by 261
Inductive learning of structural descriptions
Dietterich, T. G., & Michalski, R. S. (1981) · Artificial Intelligence · doi:10.1016/0004-3702(81)90002-3 · Cited by 194
Artificial intelligence (2nd ed.)
Winston, P. H. (1984) · Addison-Wesley Longman Publishing Co., Inc. eBooks · Cited by 166
Decision trees and multi-valued attributes
Quilan, J. R. (1988) · Machine intelligence · Cited by 122
Clark, P. A., & Niblett, T. (1987) · Cited by 117
LEARNING CONCEPTS BY ASKING QUESTIONS
Sammut, C., & Banerji, R. B. (1998) · Cited by 116
Learning to Search: From Weak Methods to Domain‐Specific Heuristics*
Pat Langley, B. (1985) · Cognitive Science · doi:10.1016/s0364-0213(85)80015-x · Cited by 98
An Experimental Comparison of Human and Machine Learning Formalisms
Muggleton, S., Bain, M., Michie, J. H., & Michie, D. (1989) · Elsevier eBooks · doi:10.1016/b978-1-55860-036-2.50037-0 · Cited by 78
Dietterich, T. G., & Michalski, R. S. (1985) · doi:10.13021/mars/3396 · Cited by 72
An algorithm that infers theories from facts
Shapiro, E. Y. (1981) · Cited by 65
Knowledge acquisition from structural descriptions
Hayes-Roth, F. A., & McDermott, J. (2018) · KiltHub Repository · doi:10.1184/r1/6606698 · Cited by 63
A learning system and its psychological implications
Anderson, J. R., & Kline, P. I. (1979) · International Joint Conference on Artificial Intelligence · Cited by 54
INDUCTIVE LEARNING OF RELATIONAL PRODUCTIONS
Vere, S. A. (1978) · Elsevier eBooks · doi:10.1016/b978-0-12-737550-2.50018-x · Cited by 49
Inductive learning of relational productions
Vere, S. A. (1977) · ACM SIGART Bulletin · doi:10.1145/1045343.1045370 · Cited by 21
Manago, M. (1989) · Elsevier eBooks · doi:10.1016/b978-1-55860-036-2.50045-x · Cited by 20
Hand, D. J. (1981) · Psychological Medicine · doi:10.1017/s0033291700052752 · Cited by 16
Brown, A. (1973) · Cited by 16
Flagged first, then by citations
5 of the 45 references couldn’t be matched to a known paper.
Research works printed but not linked: 2
- Brebner, P.C. (1988). Gargantubrain: An heuristic algorithm for learning non-recursive Horn clauses from positive and negative examples. (Technical Report 8802). Sydney, Australia: University of New South Wales, School of Electrical Engineering and Computer Science.
- Schlimmer, J.C., and Fisher, D. (1986). A case study of incremental concept formation. Proceedings of the Fifth National Conference on Artificial Intelligence (pp.296-501). Philadelphia, PA: Morgan Kaufmann.
Cited by
Sorted by citations
Data mining: concepts and techniques
Sharma, R., Shah, K., Shirahatti, Y., Patel, S., Sharma, R., Shah, K., Patel, S., Sharma, R., & Han, J. (2012) · Choice Reviews Online · doi:10.5860/choice.49-3305 · Cited by 28,665
Cohen, W. W. (1995) · Elsevier eBooks · doi:10.1016/b978-1-55860-377-6.50023-2 · Cited by 3,890
A Review of Relational Machine Learning for Knowledge Graphs
Nickel, M., Murphy, K. P., Volker Tresp, C., & Gabrilovich, E. (2015) · Proceedings of the IEEE · doi:10.1109/jproc.2015.2483592 · Cited by 1,780
Inductive Logic Programming: Theory and methods
Muggleton, S., & de Raedt, L. (1994) · The Journal of Logic Programming · doi:10.1016/0743-1066(94)90035-3 · Cited by 1,537
Statistical Fraud Detection: A Review
Bolton, R. J., & Hand, D. J. (2002) · Statistical Science · doi:10.1214/ss/1042727940 · Cited by 1,536
Metadata
- Authors
- Quinlan, J. R.
- Affiliations
- The University of Sydney (AU)
- Corresponding author
- Quinlan, J.R.
- Venue
- Machine Learning
- Published
- 1990-08
- Volume
- 5
- Issue
- 3
- Pages
- 239-266
- ISSN
- 0885-6125 (ISSN-L)
- 1573-0565
- OpenAlex
- W1999138184
- Cited by
- 1,644
- References
- 45
- Citations by year
- 2026: 8 · 2025: 18 · 2024: 21 · 2023: 23 · 2022: 22 · 2021: 34 · 2020: 34 · 2019: 26 · 2018: 36 · 2017: 29 · 2016: 25 · 2015: 29 · 2014: 44 · 2013: 44 · 2012: 41
- FWCI
- 47.93
- Type
- journal article
- Language
- en
- Open access
- bronze
- doi.org
- Licence
- Locations
- Machine Learning (publishedVersion)
- Funders
- Australian Research Council
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Logic, Reasoning, and Knowledge
- Physical Sciences › Computer Science › Information Systems › Data Mining Algorithms and Applications
- Physical Sciences › Computer Science › Artificial Intelligence › Machine Learning and Algorithms
- Keywords
- foil, inductive logic programming, Horn clauses, relational data, first-order logic, rule induction
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
