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
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 801–900 of 1,000
Towards Example-Guided Network Synthesis
Chen, H., Wang, A., & Loo, B. T. (2018) · Asia-Pacific Workshop on Networking (APNet) · doi:10.1145/3232565.3234462 · Cited by 9
Data-Driven Goal Generation for Integrated Cognitive Systems.
Maynord, M., Cox, M. T., Paisner, M., & Perlis, D. (2013) · National Conference on Artificial Intelligence · Cited by 9
Combining Model-Based and Case-Based Expert Systems
Ben-Bassat, M., Beniaminy, I., & Joseph, D. (1998) · Frontiers in electronic testing · doi:10.1007/978-1-4615-5545-2_10 · Cited by 9
A Formal Characterization of Concept Learning in Description Logics.
Lisi, F. A. (2012) · Cited by 9
Bergadano, F., Cutello, V., & Gunetti, D. (2000) · Springer eBooks · doi:10.1007/978-94-017-1733-5_5 · Cited by 9
Learning Horn Expressions with LogAn-H
Khardon, R. (2000) · Cited by 9
Evolutionary concept learning in first order logic: an overview
Divina, F. (2006) · Cited by 9
Achievements and Prospects of Learning Word Morphology with Inductive Logic Programming
Kazakov, D. (2000) · Lecture notes in computer science · doi:10.1007/3-540-40030-3_6 · Cited by 9
Automatic Development of an Abstract Context Model for an Intelligent Environment
Brdiczka, O., Reignier, P., & Crowley, J. L. (2005) · IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) · doi:10.1109/percomw.2005.17 · Cited by 9
A Pathology of Bottom-Up Hill-Climbing in Inductive Rule Learning
Fürnkranz, J. (2002) · Lecture notes in computer science · doi:10.1007/3-540-36169-3_22 · Cited by 9
A Voting Method for the Classification of Web Pages
Fang, R., Mikroyannidis, A., & Theodoulidis, B. (2006) · IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) · doi:10.1109/wi-iatw.2006.23 · Cited by 9
Learning-assisted automated planning
ZimmermanTerry, & KambhampatiSubbarao (2003) · AI Magazine · Cited by 9
Lavrač, N., & Zupan, B. (2006) · Springer eBooks · doi:10.1007/0-387-25465-x_52 · Cited by 10
Mining for causes of cancer: machine learning experiments at various levels of detail
Krämer, S., Pfahringer, B., & Helma, C. (1997) · Cited by 9
Learning from an approximate theory and noisy examples
Tangkitvanich, S., & Shimura, M. (1993) · National Conference on Artificial Intelligence · doi:10.11501/3077745 · Cited by 9
Learnability of constrained logic programs
Džeroski, S., Muggleton, S., & Russell, S. (1993) · Lecture notes in computer science · doi:10.1007/3-540-56602-3_148 · Cited by 9
Concept Sharing: A Means to Improve Multi-Concept Learning
Datta, P., & Kibler, D. F. (1993) · Elsevier eBooks · doi:10.1016/b978-1-55860-307-3.50018-6 · Cited by 9
Relational Learning and Boosting
Quinlan, R. (2001) · Springer eBooks · doi:10.1007/978-3-662-04599-2_12 · Cited by 9
Induction of Constraint Logic Programs
Martin, L., & Vrain, C. (1996) · Lecture notes in computer science · doi:10.1007/3-540-61863-5_44 · Cited by 9
Learning by Refining Algorithm Sketches
Brazdil, P., & Jorge, A. (1994) · Cited by 9
Mining type schemes in databases
Miura, T., & Shioya, I. (1996) · Lecture notes in computer science · doi:10.1007/bfb0034695 · Cited by 9
Protein structure prediction: selecting salient features from large candidate pools.
Cherkauer, K. J., & SHAVLIK, J. W. (1993) · PubMed · Cited by 9
A portable method for acquiring information extraction patterns without annotated corpora
Català, N., CASTELL, N., & Martín, M. (2003) · Natural Language Engineering · doi:10.1017/s1351324902003042 · Cited by 9
Corpus-Based Word Sense DisambiguationPreprint
Fujii, A. (1998) · arXiv (Cornell University) · doi:10.48550/arxiv.cmp-lg/9804004 · Cited by 9
Expressivity-aware tempo transformations of music performances using case based reasoning
Grachten, M. (2006) · Repositori digital de la UPF (Universitat Pompeu Fabra) · Cited by 9
Fact Checking Knowledge Graphs - A Survey
Qudus, U., Röder, M., Saleem, M., & Ngomo, A.-C. N. (2025) · ACM Computing Surveys · doi:10.1145/3749838 · Cited by 10
Projeto e uso de objetos de aprendizagem: explorando as dimensões afetiva e cognitiva
Filho, A. B. D. C., de Lima, J. V., & Tarouco, L. M. R. (2014) · Revista Iberoamericana de Tecnología en Educación y Educación en Tecnología · doi:10.24215/18509959.0.p · Cited by 1
Dealing with Incompleteness and Vagueness in Inductive Logic Programming
Lisi, F. A., & Straccia, U. (2013) · Cited by 8
Bridging Weighted Rules and Graph Random Walks for Statistical Relational Models
Kazemi, S. M., & Poole, D. (2018) · Frontiers in Robotics and AI · doi:10.3389/frobt.2018.00008 · Cited by 8
Classification: advanced methods
Han, J., Pei, J., & Tong, H. (2023) · Elsevier eBooks · doi:10.1016/b978-0-12-811760-6.00017-5 · Cited by 8
Machine learning from agricultural databases: practice and experience
Garner, S., Holmes, G., McQueen, R. J., & Witten, I. H. (1996) · Cited by 8
Learning directed probabilistic logical models from relational data
Daan Fierens, A. (2008) · AI Communications · doi:10.3233/aic-2008-0428 · Cited by 8
A phenotypic genetic algorithm for inductive logic programming
Chien, Y.-W. C., & Chen, Y. (2008) · Expert Systems with Applications · doi:10.1016/j.eswa.2008.08.040 · Cited by 8
Extended MDL principle for feature-based inductive transfer learning
Shao, H., Tong, B., & Suzuki, E. (2012) · Knowledge and Information Systems · doi:10.1007/s10115-012-0505-x · Cited by 8
Rule Reduction after Knowledge Graph Mining for Cyber Situational Awareness Analysis
Liu, B., Zhu, X., Wu, J., & Yao, L. (2020) · Procedia Computer Science · doi:10.1016/j.procs.2020.08.003 · Cited by 8
Cumulative Learning in the Lambda Calculus
Henderson, R. (2013) · doi:10.25560/24759 · Cited by 8
Building a Machine Learning Based Text Understanding System
Soderland, S. G. (2001) · Cited by 8
Learning in Clausal Logic: A Perspective on Inductive Logic Programming
Flach, P. A., & Lavrač, N. (2002) · Lecture notes in computer science · doi:10.1007/3-540-45628-7_17 · Cited by 8
Negative Encoding Length as a Subjective Interestingness Measure for Groups of Rules
Suzuki, E. (2009) · Lecture notes in computer science · doi:10.1007/978-3-642-01307-2_22 · Cited by 8
Towards Learning Fuzzy DL Inclusion Axioms
Lisi, F. A., & Straccia, U. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-23713-3_8 · Cited by 8
Xie, H. (2000) · Journal of the American Society for Information Science · doi:10.1002/(sici)1097-4571(2000)51:9 · Cited by 133
Concept Induction in Description Logics Using Information-Theoretic Heuristics
Fanizzi, N. (2011) · International Journal on Semantic Web and Information Systems · doi:10.4018/jswis.2011040102 · Cited by 8
Learning Terminologies in Probabilistic Description Logics
Revoredo, K. C., Ochoa-Luna, J. E., & Cozman, F. G. (2010) · Lecture notes in computer science · doi:10.1007/978-3-642-16138-4_5 · Cited by 8
A path-finding based method for concept discovery in graphs
Abay, N. C., Mutlu, A., & Karagöz, P. (2015) · International Conference on Information, Intelligence, Systems & Applications (IISA) · doi:10.1109/iisa.2015.7388092 · Cited by 8
General and Efficient Cognitive Model Discovery Using a Simulated Student
Li, N., Wiese, E. S., Cohen, W. W., & Koedinger, K. R. (2018) · eScholarship (California Digital Library) · doi:10.1184/r1/6475733 · Cited by 8
Deriving Processes of Information Mining Based on Semantic Nets and Frames
Martins, S., Rodríguez, D., & García-Martínez, R. (2014) · Lecture notes in computer science · doi:10.1007/978-3-319-07467-2_16 · Cited by 8
Aggregation in Confidence-Based Concept Discovery for Multi-Relational Data Mining.
Kavurucu, Y., Senkul, P., & Toroslu, İ. H. (2008) · OpenMETU (Middle East Technical University) · Cited by 8
Pfahringer, B., & Anderson, G. (2006) · Research Commons (University of Waikato) · Cited by 8
Cascade generalization: Is SVMs' inductive bias useful?
Barakat, N. (2010) · Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics · doi:10.1109/icsmc.2010.5642459 · Cited by 8
Diterpene Structure Elucidation from 13C NMR-Spectra with Machine Learning
Džeroski, S., Schulze-Kremer, S., Heidtke, K. R., Siems, K., & Wettschereck, D. (1997) · Springer eBooks · doi:10.1007/978-1-4615-6059-3_12 · Cited by 8
On the Potential of Machine Learning for Music Research.
Widmer, G. (2000) · doi:10.4324/9780203059746-10 · Cited by 8
Symbolic methodology for numeric data mining
Kovalerchuk, B., & Vityaev, E. E. (2008) · Intelligent Data Analysis · doi:10.3233/ida-2008-12203 · Cited by 8
Advantages of decision lists and implicit negatives in Inductive Logic Programming
Califf, M. E., & Mooney, R. J. (1998) · New Generation Computing · doi:10.1007/bf03037482 · Cited by 8
A New ILP-based Concept Discovery Method for Business Intelligence
Toprak, S. D., Senkul, P., Kavurucu, Y., & Toroslu, İ. H. (2007) · IEEE International Conference on Data Engineering Workshops (ICDEW) · doi:10.1109/icdew.2007.4401092 · Cited by 8
High-Performance Commercial Data Mining: A Multistrategy Machine Learning Application
Hsu, W. H., Welge, M. E., Redman, T., & Clutter, D. (2002) · Data Mining and Knowledge Discovery · doi:10.1023/a:1016352221465 · Cited by 8
A logical framework for graph theoretical decision tree learning
Geibel, P., & Wysotzki, F. (1997) · Lecture notes in computer science · doi:10.1007/3540635149_46 · Cited by 8
Data mining using synergies between self-organizing maps and inductive learning of fuzzy rules
Drobics, M., Bodenhofer, U., Winiwarter, W., & Klement, E. P. (2002) · Joint IFSA World Congress and NAFIPS International Conference · doi:10.1109/nafips.2001.943822 · Cited by 8
A minimal encoding approach to feature discovery
Derthick, M. (1991) · National Conference on Artificial Intelligence · Cited by 8
Generalized Graph Colorability and Compressibility of Boolean Formulae
Nock, R., Jappy, P., & Sallantin, J. (1998) · Lecture notes in computer science · doi:10.1007/3-540-49381-6_26 · Cited by 8
Interpreting microarray expression data using text annotating the genes
Molla, M. N., Andreae, P. M., Glasner, J. D., Blattner, F. F., & SHAVLIK, J. W. (2002) · Information Sciences · doi:10.1016/s0020-0255(02)00216-5 · Cited by 8
Knowledge acquisition for classification systems
Miura, T., & Shioya, I. (2005) · IEEE International Conference on Tools with Artificial Intelligence (ICTAI) · doi:10.1109/tai.1996.560438 · Cited by 8
Automated Pattern-Based Pointcut Generation
Braem, M., Gybels, K., Kellens, A., & Vanderperren, W. (2006) · Lecture notes in computer science · doi:10.1007/11821946_5 · Cited by 8
Probabilistic Concept Formation in Relational Domains
Allen, J. A., & Thompson, K. (1991) · Elsevier eBooks · doi:10.1016/b978-1-55860-200-7.50077-5 · Cited by 8
Blanc, G. (1994) · Lecture notes in computer science · doi:10.1007/3-540-57868-4_58 · Cited by 8
Induction of Prolog programs with Markus
Grobelnik, M. (1994) · Workshops in computing · doi:10.1007/978-1-4471-3234-9_5 · Cited by 8
Adaptive agent tracking in real-world multiagent domains: a preliminary report
Tambe, M., Johnson, L., & Shen, W. (1998) · International Journal of Human-Computer Studies · doi:10.1006/ijhc.1997.0163 · Cited by 8
Knowledge Discovery with Second-Order Relations
Hewett, R., & Leuchner, J. H. (2002) · Knowledge and Information Systems · doi:10.1007/s101150200014 · Cited by 8
Machine Learning Applied to Fourteen Agricultural Datasets
Thomson, K., & McQueen, R. J. (1996) · Research Commons (University of Waikato) · Cited by 8
The Difficulties of Learning Logic Programs with Cut
Bergadano, F., Gunetti, D., & Trinchero, U. (1993) · Journal of Artificial Intelligence Research · doi:10.1613/jair.26 · Cited by 8
Jorge, A. (1999) · Cited by 8
AN EARLY DRAFT OF A PROPOSED TEXTBOOK
Nilsson, N. J. (2005) · Cited by 8
Characterising Semantic Relatedness using Interpretable Directions in Conceptual Spaces
Joaquín, D., & Schockaert, S. (2014) · Frontiers in artificial intelligence and applications · doi:10.3233/978-1-61499-419-0-243 · Cited by 7
Discovering relational and numerical expressions from plan traces for learning action models
Segura-Muros, J. Á., Pérez, R., & Fernández-Olivares, J. (2021) · Applied Intelligence · doi:10.1007/s10489-021-02232-6 · Cited by 7
Symbolic Minimization on Relational Data
Wang, R., Sun, D. W., & Wong, R. K. (2022) · IEEE Transactions on Knowledge and Data Engineering · doi:10.1109/tkde.2022.3222827 · Cited by 8
MHGTN: Multi-Interaction Heterogeneous Graph Transformer Network for Knowledge Graph Completion
Fan, L., Yuan, J., & Fan, Z. (2025) · Neurocomputing · doi:10.1016/j.neucom.2025.129368 · Cited by 7
A Hybrid Graph-Based Method for Concept Rule Discovery
Mutlu, A., & Karagöz, P. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-40131-2_29 · Cited by 7
Efficient Matrix Models for Relational Learning
Singh, A. P. (2009) · Cited by 7
Applying Machine Learning to Cognitive Modeling for Cognitive Tutors
Matsuda, N., Cohen, W. W., Sewall, J., & Koedinger, K. R. (2018) · Figshare · doi:10.1184/r1/6469829 · Cited by 7
Policicchio, V. L., Pietramala, A., & Rullo, P. (2012) · Artificial Intelligence · doi:10.1016/j.artint.2012.07.003 · Cited by 7
Extensions to the Relational Paths Based Learning Approach RPBL
Gao, Z., Zhang, Z., & Huang, Z. (2009) · Asian Conference on Intelligent Information and Database Systems · doi:10.1109/aciids.2009.40 · Cited by 7
Situation Models: A Tool for Observing and Understanding Activity
Crowley, J. L., Reignier, P., & Barraquand, R. (2009) · HAL · Cited by 7
An Inductive Logic Programming Approach to Learning Inclusion Axioms in Fuzzy Description Logics.
Lisi, F. A., & Straccia, U. (2011) · CINECA IRIS Institutional Research Information System (University of Bari Aldo Moro) · Cited by 7
Russell, S. (1996) · Elsevier eBooks · doi:10.1016/b978-012161964-0/50006-6 · Cited by 7
θ-subsumption for structural matching
Raedt, L. D., Idestam-Almquist, P., & Sablon, G. (1997) · Lecture notes in computer science · doi:10.1007/3-540-62858-4_73 · Cited by 7
A Rule Based Approach to Group Recommender Systems
Padmanabhan, V., Seemala, S. K., & Bhukya, W. N. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-25725-4_3 · Cited by 7
Learning Constraints for Structured Prediction Using Rectifier Networks
Pan, X., Mehta, M., & Srikumar, V. (2020) · Proceedings of the conference - Association for Computational Linguistics. Meeting · doi:10.18653/v1/2020.acl-main.438 · Cited by 7
An Analysis of Rule Learning Heuristics
Fürnkranz, J., & Flach, P. A. (2003) · Cited by 7
Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples
Duboc, A. L., Paes, A., & Zaverucha, G. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-85928-4_11 · Cited by 7
Logical Languages for Data Mining
Giannotti, F., Manco, G., & Wijsen, J. (2004) · Springer eBooks · doi:10.1007/978-3-642-18690-5_9 · Cited by 7
Constructive Induct ion: A Version Space-based Approach
Sébag, M. (1999) · Cited by 7
Learning Large Margin First Order Decision Lists for Multi-Class Classification
Lodhi, H. M., Muggleton, S., & Sternberg, M. J. E. (2009) · Lecture notes in computer science · doi:10.1007/978-3-642-04747-3_15 · Cited by 7
Learning First Order Fuzzy Logic Rules
Prade, H. M., Richard, G., & Serrurier, M. (2003) · Lecture notes in computer science · doi:10.1007/3-540-44967-1_84 · Cited by 7
Metapattern generation for integrated data mining
Shen, W., & Leng, B. (1996) · Cited by 7
Fürnkranz, J. (1997) · Cited by 7
Learning Logical Descriptions for Document Understanding: A Rough Sets-Based Approach
Martienne, E., & Quafafou, M. (1998) · Lecture notes in computer science · doi:10.1007/3-540-69115-4_28 · Cited by 7
Geometric method for document understanding and classification using online machine learning
Nattee, C., & Numao, M. (2002) · IAPR International Conference on Document Analysis and Recognition (ICDAR) · doi:10.1109/icdar.2001.953860 · Cited by 7
Refinement of Datalog Programs
Esposito, F., Laterza, A., Malerba, D., & Semeraro, G. M. (1996) · Cited by 7
An inductive database and query language in the relational model
Richter, L., Wicker, J. S., Kessler, K., & Krämer, S. (2008) · International Conference on Extending Database Technology (EDBT) · doi:10.1145/1353343.1353440 · Cited by 7
Learning rules for information extraction
Turmo, J., & Rodríguez, H. (2002) · Natural Language Engineering · doi:10.1017/s1351324902002863 · Cited by 7
Feature-based Inductive Transfer Learning through Minimum Encoding
Shao, H., & Suzuki, E. (2011) · SIAM International Conference on Data Mining · doi:10.1137/1.9781611972818.23 · Cited by 7
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
