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
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
Items 301–400 of 1,000
Machine Learning for Data Mining in Medicine
Lavrač, N. (1999) · Lecture notes in computer science · doi:10.1007/3-540-48720-4_4 · Cited by 49
Fürnkranz, J. (1998) · Journal of Artificial Intelligence Research · doi:10.48550/arxiv.cs/9805101 · Cited by 48
Exploring the power of genetic search in learning symbolic classifiers
Neri, F., & Saitta, L. (1996) · IEEE Transactions on Pattern Analysis and Machine Intelligence · doi:10.1109/34.544085 · Cited by 48
Pac-Learning Recursive Logic Programs: Efficient Algorithms
Cohen, W. W. (1995) · Journal of Artificial Intelligence Research · doi:10.1613/jair.97 · Cited by 48
A Framework for Combining Symbolic and Neural Learning
SHAVLIK, J. W. (1992) · Cited by 48
Efficient discovery of interesting statements in databases
Kl�sgen, W. (1995) · Journal of Intelligent Information Systems · doi:10.1007/bf00962822 · Cited by 48
Structure Learning via Parameter Learning
Wang, W. Y., Mazaitis, K., & Cohen, W. W. (2014) · Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management · doi:10.1145/2661829.2662022 · Cited by 47
Bottom-Up Induction of Feature Terms
Armengol, E., & Plaza, E. (2000) · Machine Learning · doi:10.1023/a:1007677713969 · Cited by 47
Gleaner: Creating ensembles of first-order clauses to improve recall-precision curves
Goadrich, M. H., Oliphant, L. T., & SHAVLIK, J. W. (2006) · Machine Learning · doi:10.1007/s10994-006-8958-3 · Cited by 47
Learning Concepts from Sensor Data of a Mobile Robot
Klingspor, V., Morik, K. J., & Rieger, A. D. (1996) · Machine Learning · doi:10.1007/bf00117448 · Cited by 47
An Interactive System to Learn Functional Logic Programs.
Bergadano, F., & Gunetti, D. (1993) · Institutional Research Information System University of Turin (University of Turin) · Cited by 47
An efficient algorithm for automatic knowledge acquisition
Pham, D. T., & Dimov, S. (1997) · Pattern Recognition · doi:10.1016/s0031-3203(96)00148-3 · Cited by 46
Dynamic rule refinement in knowledge-based data mining systems
Park, S. C., Piramuthu, S., & Shaw, M. J. (2001) · Decision Support Systems · doi:10.1016/s0167-9236(00)00132-9 · Cited by 46
Rulegraphs for graph matching in pattern recognition
Pearce, A. R., Caelli, T., & Bischof, W. F. (1994) · Pattern Recognition · doi:10.1016/0031-3203(94)90007-8 · Cited by 46
Using AI and machine learning to study expressive music performance: project survey and first report
Widmer, G. (2001) · doi:10.5555/1216551.1216554 · Cited by 46
Sub-unification: A Tool for Efficient Induction of Recursive Programs
Lapointe, S., & Matwin, S. (1992) · Elsevier eBooks · doi:10.1016/b978-1-55860-247-2.50040-1 · Cited by 46
Materializing and Querying Learned Knowledge
Tresp, V., Bundschus, M., Huang, Y., & Rettinger, A. (2009) · Cited by 45
Ahmed, S. T., Chidambaram, D., Davulcu, H., & Baral, C. R. (2005) · doi:10.3115/1641484.1641492 · Cited by 45
Evolutionary Program Induction Directed by Logic Grammars
Wong, M. L., & Leung, K. (1997) · Evolutionary Computation · doi:10.1162/evco.1997.5.2.143 · Cited by 45
Neural-Symbolic Methods for Knowledge Graph Reasoning: A Survey
Cheng, K., Ahmed, N. K., Rossi, R. A., Willke, T. L., & Sun, Y. (2024) · ACM Transactions on Knowledge Discovery from Data · doi:10.1145/3686806 · Cited by 50
ProGolem: A System Based on Relative Minimal Generalisation
Muggleton, S., Santos, J. C. A., & Tamaddoni‐Nezhad, A. (2010) · Lecture notes in computer science · doi:10.1007/978-3-642-13840-9_13 · Cited by 44
Hyperlink ensembles: a case study in hypertext classification
Fürnkranz, J. (2002) · Information Fusion · doi:10.1016/s1566-2535(02)00090-8 · Cited by 44
FS-FOIL: an inductive learning method for extracting interpretable fuzzy descriptions
Drobics, M., Bodenhofer, U., & Klement, E. P. (2003) · International Journal of Approximate Reasoning · doi:10.1016/s0888-613x(02)00080-4 · Cited by 44
Inducing logic programs with genetic algorithms: the Genetic Logic Programming System
Wong, M. L., & Leung, K. (1995) · IEEE Expert · doi:10.1109/64.464935 · Cited by 44
Machine learning techniques to make computers easier to use
Motoda, H., & Yoshida, K. (1998) · Artificial Intelligence · doi:10.1016/s0004-3702(98)00062-9 · Cited by 44
Comprehensible Artificial Intelligence on Knowledge Graphs: A survey
Schramm, S., Wehner, C., & Schmid, U. (2023) · Journal of Web Semantics · doi:10.1016/j.websem.2023.100806 · Cited by 54
Integrating representation learning and skill learning in a human-like intelligent agent
Li, N., Matsuda, N., Cohen, W. W., & Koedinger, K. R. (2014) · Artificial Intelligence · doi:10.1016/j.artint.2014.11.002 · Cited by 44
Testing by means of inductive program learning
Bergadano, F., & Gunetti, D. (1996) · ACM Transactions on Software Engineering and Methodology · doi:10.1145/227607.227611 · Cited by 43
Learning Declarative Control Rules for Constraint-BAsed Planning
Huang, Y., Selman, B., & Kautz, H. (2000) · Cited by 43
A System for Building Intelligent Agents that Learn to Retrieve and Extract Information
Eliassi‐Rad, T., & SHAVLIK, J. W. (2003) · User Modeling and User-Adapted Interaction · doi:10.1023/a:1024009718142 · Cited by 43
A structured wrapper induction system for extracting information from semi-structured documents
Cohen, W. W. (2001) · Cited by 43
Bischof, W. F., & Caelli, T. (1994) · Pattern Recognition · doi:10.1016/0031-3203(94)90047-7 · Cited by 43
Tree 2 – Decision Trees for Tree Structured Data
Bringmann, B., & Zimmermann, A. (2005) · Lecture notes in computer science · doi:10.1007/11564126_10 · Cited by 42
Learning Controllers for Industrial Robots
Cristina Baroglio, A., Giordana, A., Kaiser, M., Nuttin, M., & Piola, R. (1996) · Kluwer international series in engineering and computer science · doi:10.1007/978-1-4613-0471-5_5 · Cited by 42
Lavrač, N., & Zupan, B. (2009) · Springer eBooks · doi:10.1007/978-0-387-09823-4_58 · Cited by 42
An investigation into the use of machine learning for determining oestrus in cows
Mitchell, R., Sherlock, R., & Smith, L. A. (1996) · Computers and Electronics in Agriculture · doi:10.1016/0168-1699(96)00016-6 · Cited by 41
Kakas, A. C., & Riguzzi, F. (2000) · New Generation Computing · doi:10.1007/bf03037531 · Cited by 41
Inducing Temporal Fault Diagnostic Rules from a Qualitative Model
Feng, C. (1991) · Elsevier eBooks · doi:10.1016/b978-1-55860-200-7.50083-0 · Cited by 41
Highly scalable and robust rule learner: performance evaluation and comparison
Kurgan, L., Cios, K. J., & Dick, S. (2006) · IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics) · doi:10.1109/tsmcb.2005.852983 · Cited by 40
The Minimum Description Length Principle and Categorical Theories
Quinlan, J. R. (1994) · Elsevier eBooks · doi:10.1016/b978-1-55860-335-6.50036-2 · Cited by 40
Self-citationRefining Complete Hypotheses in ILP
Ivan Bratko, A. (1999) · Lecture notes in computer science · doi:10.1007/3-540-48751-4_6 · Cited by 40
Numerical reasoning with an ILP system capable of lazy evaluation and customised search
Srinivasan, A., & Camacho, R. C. (1999) · The Journal of Logic Programming · doi:10.1016/s0743-1066(99)00018-7 · Cited by 40
A flexible knowledge discovery system using genetic programming and logic grammars
Wong, M. L. (2001) · Decision Support Systems · doi:10.1016/s0167-9236(01)00092-6 · Cited by 40
Discriminative Structure Learning of Markov Logic Networks
Biba, M., Ferilli, S., & Esposito, F. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-85928-4_9 · Cited by 39
Feature selection via the discovery of simple classification rules
Holmes, G., & Nevill-Manning, C. G. (1995) · Cited by 39
Declarative Bias for Specific-to-General ILP Systems
Adé, H., Raedt, L. D., & Bruynooghe, M. (1995) · Machine Learning · doi:10.1007/bf00993477 · Cited by 39
Learning to improve both efficiency and quality of planning
Estlin, T. A., & Mooney, R. J. (1997) · Cited by 39
Development of an intelligent surgical training system for Thoracentesis
Nakawala, H., Ferrigno, G., & Momi, E. D. (2017) · Artificial Intelligence in Medicine · doi:10.1016/j.artmed.2017.10.004 · Cited by 38
Learning SMT(LRA) Constraints using SMT Solvers
Kolb, S., Teso, S., Passerini, A., & Raedt, L. D. (2018) · International Joint Conference on Artificial Intelligence · doi:10.24963/ijcai.2018/323 · Cited by 38
A review of generalized planning
Jiménez, S., Segovia‐Aguas, J., & Jönsson, A. (2019) · The Knowledge Engineering Review · doi:10.1017/s0269888918000231 · Cited by 38
Deep Learning-Based Reasoning With Multi-Ontology for IoT Applications
Liu, J., Zhang, X., Li, Y., Wang, J., & Kim, H.-J. (2019) · IEEE Access · doi:10.1109/access.2019.2937353 · Cited by 38
Predicate invention in inductive data engineering
Flach, P. A. (1993) · Lecture notes in computer science · doi:10.1007/3-540-56602-3_129 · Cited by 38
Initial learning of document structure
Dengel, A. R. (2002) · IAPR International Conference on Document Analysis and Recognition (ICDAR) · doi:10.1109/icdar.1993.395776 · Cited by 38
Relational learning as search in a critical region
Botta, M., Giordana, A., Saitta, L., & Sébag, M. (2003) · Cited by 38
Learning expressive performance: The structure‐level approach
Widmer, G. (1996) · Journal of New Music Research · doi:10.1080/09298219608570702 · Cited by 38
Learning the Common Structure of Data
Lerman, K., & Minton, S. (2000) · Cited by 38
Guest Editors' Introduction: Machine Learning and Natural Language
Cardie, C., & Mooney, R. J. (1999) · Machine Learning · doi:10.1023/a:1007580931600 · Cited by 38
EDISC: A Class-Tailored Discretization Technique for Rule-Based Classification
Shehzad, K. (2011) · IEEE Transactions on Knowledge and Data Engineering · doi:10.1109/tkde.2011.101 · Cited by 37
Dealing with imbalanced data for interpretable defect prediction
Gao, Y., Zhu, Y., & Zhao, Y. (2022) · Information and Software Technology · doi:10.1016/j.infsof.2022.107016 · Cited by 37
Fast learning of relational kernels
Landwehr, N., Passerini, A., Raedt, L. D., & Frasconi, P. (2010) · Machine Learning · doi:10.1007/s10994-009-5163-1 · Cited by 37
Using inductive learning to generate rules for semantic query optimization
Hsu, C., & Knoblock, C. A. (1996) · Cited by 37
Encouraging Experimental Results on Learning CNF
Mooney, R. J. (1995) · Machine Learning · doi:10.1007/bf00994661 · Cited by 37
Discrimination-based Constructive Induction
Kijsirikul, B., Numao, M., & Shimura, M. (1992) · National Conference on Artificial Intelligence · Cited by 37
Data Mining: Classification and Prediction
Urso, A. M., Fiannaca, A., Rosa, M. L., Ravì, V., & Rizzo, R. (2017) · Elsevier eBooks · doi:10.1016/b978-0-12-809633-8.20461-5 · Cited by 38
Multivariate Prediction for Learning on the Semantic Web
Huang, Y., Tresp, V., Bundschus, M., Rettinger, A., & Kriegel, H. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-21295-6_13 · Cited by 36
Kim, J., Hu, Q., D'Antoni, L., & Reps, T. (2021) · Proceedings of the ACM on Programming Languages · doi:10.1145/3434311 · Cited by 36
Three Companions for Data Mining in First Order Logic
Raedt, L. D., Blockeel, H., Dehaspe, L., & Laer, W. V. (2001) · Springer eBooks · doi:10.1007/978-3-662-04599-2_5 · Cited by 38
Incremental learning of control knowledge for nonlinear problem solving
Borrajo, D., & Veloso, M. (1994) · Lecture notes in computer science · doi:10.1007/3-540-57868-4_51 · Cited by 35
Information Mining Processes Based on Intelligent Systems
Martínez, R. G., Britos, P. V., & Rodríguez, D. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-38577-3_41 · Cited by 35
Sivasankar, E., & Vijaya, J. (2018) · Neural Computing and Applications · doi:10.1007/s00521-018-3548-4 · Cited by 35
Literary Detective Work on the Computer
Oakes, M. (2014) · Natural language processing · doi:10.1075/nlp.12 · Cited by 35
Completeness and properness of refinement operators in inductive logic programming
van der Laag, P. R. J., & Nienhuys-Cheng, S.-H. (1998) · The Journal of Logic Programming · doi:10.1016/s0743-1066(97)00077-0 · Cited by 35
Mining library specifications using inductive logic programming
Sankaranarayanan, S., Ivančić, F., & Gupta, A. (2008) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · doi:10.1145/1368088.1368107 · Cited by 35
Resource-bounded Relational Reasoning: Induction and Deduction Through Stochastic Matching
Sébag, M., & Rouveirol, C. (2000) · Machine Learning · doi:10.1023/a:1007629922420 · Cited by 35
Stochastic propositionalization of non-determinate background knowledge
Kramer, S., Pfahringer, B., & Helma, C. (1998) · Lecture notes in computer science · doi:10.1007/bfb0027312 · Cited by 35
Pan, X., Hu, X., Zhang, Y., Feng, K., Wang, S., Chen, L., Huang, T., & Cai, Y. (2018) · Genes · doi:10.3390/genes9040208 · Cited by 34
Machine Learning and Inductive Logic Programming for Multi-agent Systems
Kazakov, D., & Kudenko⋆, D. (2001) · Lecture notes in computer science · doi:10.1007/3-540-47745-4_11 · Cited by 34
A data mining approach to process optimization without an explicit quality function
Chong, I.-G., Albin, S. L., & Jun, C. (2007) · IIE Transactions · doi:10.1080/07408170601142668 · Cited by 34
Machine learning for information extraction
Neri, F., & Saitta, L. (1997) · Lecture notes in computer science · doi:10.1007/3-540-63438-x_9 · Cited by 34
How to Upgrade Propositional Learners to First Order Logic: A Case Study
Laer, W. V., & Raedt, L. D. (2001) · Lecture notes in computer science · doi:10.1007/3-540-44673-7_5 · Cited by 34
FOSSIL: A robust relational learner
Fürnkranz, J. (1994) · Lecture notes in computer science · doi:10.1007/3-540-57868-4_54 · Cited by 33
Divina, F., & Marchiori, E. (2002) · Cited by 33
Predicate invention in ILP — an overview
Stahl, I. (1993) · Lecture notes in computer science · doi:10.1007/3-540-56602-3_144 · Cited by 33
First Order Random Forests with Complex Aggregates
Vens, C., Assche, A. V., Blockeel, H., & Džeroski, S. (2004) · Lecture notes in computer science · doi:10.1007/978-3-540-30109-7_24 · Cited by 33
Cohen, W. W., & Singer, Y. (1996) · Cited by 33
Toward general-purpose learning for information extraction
Freitag, D. (1998) · International Conference on Computational Linguistics · doi:10.3115/980451.980914 · Cited by 32
Advances in Machine Learning for Sensing and Condition Monitoring
Ao, S.-I., Gelman, L., Karimi, H. R., & Tiboni, M. (2022) · Applied Sciences · doi:10.3390/app122312392 · Cited by 34
Structure Learning of Markov Logic Networks through Iterated Local Search
Biba, M., Ferilli, S., & Esposito, F. (2008) · Frontiers in artificial intelligence and applications · doi:10.3233/978-1-58603-891-5-361 · Cited by 32
Estimating the accuracy of learned concepts
Bailey, T. L., & Elkan, C. (1993) · Cited by 32
Machine learning in artificial intelligence
Ivan Bratko, A. (1993) · Artificial Intelligence in Engineering · doi:10.1016/0954-1810(93)90002-w · Cited by 32
Reusability hypothesis verification using machine learning techniques: a case study
Mao, Y., Sahraoui, H. A., & Lounis, H. (2002) · IEEE/ACM International Conference on Automated Software Engineering (ASE) · doi:10.1109/ase.1998.732582 · Cited by 32
Belief updating from integrity constraints and queries
Raedt, L. D., & Bruynooghe, M. (1992) · Artificial Intelligence · doi:10.1016/0004-3702(92)90075-9 · Cited by 32
The Appropriateness of Predicate Invention as Bias Shift Operation in ILP
Stahl, I. (1995) · Machine Learning · doi:10.1007/bf00993476 · Cited by 32
Information extraction from structured documents using k-testable tree automaton inference
Kosala, R., Blockeel, H., Bruynooghe, M., & den Bussche, J. V. (2005) · Data & Knowledge Engineering · doi:10.1016/j.datak.2005.05.002 · Cited by 31
Relational Kernel Machines for Learning from Graph-Structured RDF Data
Biçer, V., Tran, T. P., & Gossen, A. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-21034-1_4 · Cited by 31
Inductive learning of search control rules for planning
Leckie, C. A., & Ingrid Zukerman, A. (1998) · Artificial Intelligence · doi:10.1016/s0004-3702(98)00018-6 · Cited by 31
Valiant, L. G. (2006) · National Conference on Artificial Intelligence · Cited by 31
THE UTILITY OF BACKGROUND KNOWLEDGE IN LEARNING MEDICAL DIAGNOSTIC RULES
Nada Lavrač, A., Džeroski, S., Pirnat, V., & Križman, V. (1993) · Applied Artificial Intelligence · doi:10.1080/08839519308949989 · Cited by 31
How to Upgrade Propositional Learners to First Order Logic: A Case Study
Laer, W. V., & Raedt, L. D. (2001) · Springer eBooks · doi:10.1007/978-3-662-04599-2_10 · Cited by 31
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
