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 501–600 of 1,000
Wong, M. L., & Leung, K. (2002) · IEEE International Conference on Tools with Artificial Intelligence (ICTAI) · doi:10.1109/tai.1995.479782 · Cited by 22
Experience with Learning Agents which Manage Internet-Based Information
Edwards, P. J., Bayer, D. E., Green, C. L., & Payne, T. R. (1996) · Aberdeen University Research Archive (Aberdeen University) · Cited by 22
An adaptive knowledge-acquisition system using generic genetic programming
Wong, M. L. (1998) · Expert Systems with Applications · doi:10.1016/s0957-4174(98)00010-4 · Cited by 22
Claveau, V., Sébillot, P., Fabre, C., & Bouillon, P. (2003) · doi:10.5555/945365.945393 · Cited by 22
Inductive learning for abductive diagnosis
Thompson, C. A., & Mooney, R. J. (1994) · Cited by 22
Applications of a logical discovery engine
Laer, W. V., & Raedt, L. D. (1994) · Lirias · Cited by 22
Applications of Machine Learning: Towards knowledge synthesis
Ivan Bratko, A. (1993) · New Generation Computing · doi:10.1007/bf03037182 · Cited by 22
Interpretability of linguistic variables : A formal account
Bodenhofer, U., & Bauer, P. (2005) · Czech digital mathematics library · Cited by 22
$$\alpha$$ILP: thinking visual scenes as differentiable logic programs
Shindo, H., Pfanschilling, V., Dhami, D. S., & Kersting, K. (2023) · Machine Learning · doi:10.1007/s10994-023-06320-1 · Cited by 21
SRI: A Scalable Rule Induction Algorithm
Pham, D. T., & Afify, A. (2006) · Proceedings of the Institution of Mechanical Engineers Part C Journal of Mechanical Engineering Science · doi:10.1243/09544062c18304 · Cited by 21
Towards Nonmonotonic Relational Learning from Knowledge Graphs
Tran, H. D., Stepanova, D., Gad-Elrab, M. H., Lisi, F. A., & Weikum, G. (2017) · Lecture notes in computer science · doi:10.1007/978-3-319-63342-8_8 · Cited by 22
Generating rules with predicates, terms and variables from the pruned neural networks
Nayak, R. (2009) · Neural Networks · doi:10.1016/j.neunet.2009.02.001 · Cited by 21
Using program synthesis for social recommendations
Cheung, A., Solar-Lezama, A., & Madden, S. R. (2012) · ACM International Conference on Information and Knowledge Management (CIKM) · doi:10.1145/2396761.2398507 · Cited by 21
Discovering Strong Principles of Expressive Music Performance with the PLCG Rule Learning Strategy
Widmer, G. (2001) · Lecture notes in computer science · doi:10.1007/3-540-44795-4_47 · Cited by 21
Unbiased Assessment of Learning Algorithms
Scheffer, T., & Herbrich, R. (1997) · Cited by 21
Recovering software specifications with inductive logic programming
Cohen, W. W. (1994) · Cited by 21
Automated acquisition of rules for document understanding
Esposito, F., Malerba, D., & Semeraro, G. M. (2002) · IAPR International Conference on Document Analysis and Recognition (ICDAR) · doi:10.1109/icdar.1993.395653 · Cited by 21
Part-of-speech Tagging: A Machine Learning Approach based on Decision Trees
Màrquez, L. (1999) · doi:10.5821/dissertation-2117-93974 · Cited by 21
Schema Independent Relational Learning
Picado, J., Termehchy, A., Fern, A., & Ataei, P. (2017) · ACM SIGMOD International Conference on Management of Data (SIGMOD) · doi:10.1145/3035918.3035923 · Cited by 20
Problem Order Implications for Learning Transfer
Li, N., Cohen, W. W., & Koedinger, K. R. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-30950-2_24 · Cited by 20
A new algorithm to automate inductive learning of default theories
Shakerin, F., Salazar, E., & Gupta, G. (2017) · Theory and Practice of Logic Programming · doi:10.1017/s1471068417000333 · Cited by 20
Rule Induction and Reasoning over Knowledge Graphs
Stepanova, D., Gad-Elrab, M. H., & Ho, V. T. (2018) · Lecture notes in computer science · doi:10.1007/978-3-030-00338-8_6 · Cited by 20
Conflict-Driven Inductive Logic Programming
Law, M. (2022) · Theory and Practice of Logic Programming · doi:10.1017/s1471068422000011 · Cited by 20
Discovery of Empirical Theories Based on the Measurement Theory
Vityaev, E. E., & Kovalerchuk, B. (2004) · Minds and Machines · doi:10.1023/b:mind.0000045991.67908.13 · Cited by 20
Using domain knowledge to guide database knowledge discovery
O, M. M. O., & Grupe, F. H. (1996) · Expert Systems with Applications · doi:10.1016/0957-4174(95)00044-5 · Cited by 20
Learning Horn Expressions with LOGAN-H
Arias, M., Khardon, R., & Maloberti, J. (2007) · doi:10.5555/1248659.1248679 · Cited by 20
Learning Hierarchical Structures with Linear Relational Embedding
Paccanaro, A., & Hinton, G. E. (2001) · Cited by 20
An interpretable classifier for detection of cardiac arrhythmias by using the fuzzy decision tree
Behadada, O., & Chikh, M. A. (2013) · Artificial Intelligence Research · doi:10.5430/air.v2n3p45 · Cited by 20
Chiang, I., Shieh, M., Hsu, J. Y.-J., & Wong, J. (2004) · Applied Intelligence · doi:10.1023/b:apin.0000047384.85823.f6 · Cited by 20
θ-Subsumption in a Constraint Satisfaction Perspective
Maloberti, J., & Sébag, M. (2001) · Lecture notes in computer science · doi:10.1007/3-540-44797-0_14 · Cited by 20
A Comparative Study of Classification Algorithms: Statistical, Machine Learning and Neural Network
King, R. D., Henery, R. J., Feng, C., & Sutherland, A. (1994) · Oxford University Press eBooks · doi:10.1093/oso/9780198538509.003.0013 · Cited by 20
Learning from Examples and Membership Queries with Structured Determinations
Tadepalli, P. V., & Russell, S. (1998) · Machine Learning · doi:10.1023/a:1007421315813 · Cited by 20
PAL: A Pattern-Based First-Order Inductive System
Morales, E. F. (1997) · Machine Learning · doi:10.1023/a:1007373508948 · Cited by 20
CAN MACHINE LEARNING SOLVE MY PROBLEM?
Kodratoff, Y., Moustakis, V. S., & Graner, N. (1994) · Applied Artificial Intelligence · doi:10.1080/08839519408945431 · Cited by 20
Relational peculiarity-oriented mining
Ohshima, M., Zhong, N., Yao, Y. Y., & Liu, C. (2007) · Data Mining and Knowledge Discovery · doi:10.1007/s10618-006-0046-6 · Cited by 20
AILP abductive inductive logic programming
Adé, H., & Denecker, M. (1995) · Cited by 20
Relational Data Mining Applications: An Overview
Džeroski, S. (2001) · Springer eBooks · doi:10.1007/978-3-662-04599-2_14 · Cited by 20
Pac-learning nondeterminate clauses
Cohen, W. W. (1994) · Cited by 20
Applying ILP to diterpene structure elucidation from 13C NMR spectra
Džeroski, S., Schulze-Kremer, S., Heidtke, K. R., Siems, K., & Wettschereck, D. (1997) · Lecture notes in computer science · doi:10.1007/3-540-63494-0_47 · Cited by 20
A Multistrategy Approach to Relational Knowledge Discovery in Databases
Morik, K. J., & Brockhausen, P. (1997) · Machine Learning · doi:10.1023/a:1007317925872 · Cited by 20
Learning rule representations from data
Apolloni, B., Brega, A., Malchiodi, D., Palmas, G., & Zanaboni, A. M. (2006) · IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans · doi:10.1109/tsmca.2006.878987 · Cited by 19
Mining Inference Formulas by Goal-Directed Random Walks
Wei, Z., Zhao, J., & Liu, K. (2016) · Conference on Empirical Methods in Natural Language Processing (EMNLP) · doi:10.18653/v1/d16-1145 · Cited by 19
White-box Induction From SVM Models: Explainable AI with Logic Programming
Shakerin, F., & Gupta, G. (2020) · Theory and Practice of Logic Programming · doi:10.1017/s1471068420000356 · Cited by 19
Data Management in Machine Learning Systems
Böehm, M., Kumar, A., & Yang, J. (2019) · Synthesis lectures on data management · doi:10.2200/s00895ed1v01y201901dtm057 · Cited by 21
ILP with noise and fixed example size: a Bayesian approach
McCreath, E. C., & Sharma, A. (1997) · Cited by 19
Applications and research problems of subgroup mining
Klösgen, W. (1999) · Lecture notes in computer science · doi:10.1007/bfb0095086 · Cited by 19
Rhodes, B. J. (2005) · Information Fusion · doi:10.1016/j.inffus.2005.06.002 · Cited by 19
Applications of inductive logic programming
Bratko, I., & King, R. D. (1994) · ACM SIGART Bulletin · doi:10.1145/181668.181678 · Cited by 20
Inductive Logic Programming in Databases: From Datalog to
Lisi, F. A. (2010) · Theory and Practice of Logic Programming · doi:10.1017/s1471068410000116 · Cited by 20
Induction of logic programs by example-guided unfolding
Boström, H., & Idestam-Almquist, P. (1999) · The Journal of Logic Programming · doi:10.1016/s0743-1066(99)00017-5 · Cited by 19
Tackett, W. A. (1995) · IEEE Expert · doi:10.1109/64.393140 · Cited by 19
Poveda, J., Surdeanu, M., & Turmo, J. (2007) · International Symposium on Temporal Representation and Reasoning · doi:10.1109/time.2007.38 · Cited by 19
Enriching Relational Learning with Fuzzy Predicates
Prade, H. M., Richard, G., & Serrurier, M. (2003) · Lecture notes in computer science · doi:10.1007/978-3-540-39804-2_36 · Cited by 19
Relational Learning: Hard Problems and Phase Transitions
Botta, M., Giordana, A., Saitta, L., & Sébag, M. (2000) · Lecture notes in computer science · doi:10.1007/3-540-46238-4_16 · Cited by 19
An apprentice-based approach to knowledge acquisition
Mahadevan, S., Mitchell, T. M., Mostow, J., Steinberg, L. I., & Tadepalli, P. V. (1993) · Artificial Intelligence · doi:10.1016/0004-3702(93)90059-k · Cited by 19
Shen, W., & Leng, B. (1996) · IEEE Transactions on Knowledge and Data Engineering · doi:10.1109/69.553157 · Cited by 19
A Logical Database Mining Query Language
Raedt, L. D. (2000) · Lecture notes in computer science · doi:10.1007/3-540-44960-4_5 · Cited by 19
Norouzi, H. A., & Shahmohammadi-Kalalagh, S. (2019) · Environmental Earth Sciences · doi:10.1007/s12665-019-8381-2 · Cited by 18
Semi-supervised online structure learning for composite event recognition
Michelioudakis, E., Artikis, A., & Παλιούρας, Γ. (2019) · Machine Learning · doi:10.1007/s10994-019-05794-2 · Cited by 19
Web Structure Mining Exploiting the Graph Structure of the World-Wide Web
Fürnkranz, J. (2002) · Cited by 18
An Induction Algorithm Based on Fuzzy Logic Programming
Shibata, D., Inuzuka, N., Kato, S., Matsui, T., & Itoh, H. (2010) · Lecture notes in computer science · doi:10.1007/3-540-48912-6_37 · Cited by 18
The DUCTOR: A Theory Revision System for Propositional Domains
Cain, T. (1991) · Elsevier eBooks · doi:10.1016/b978-1-55860-200-7.50099-4 · Cited by 18
Linear Space Induction in First Order Logic with Relieff
Pompe, U., & Kononenko, I. (1995) · Springer eBooks · doi:10.1007/978-3-7091-2690-5_13 · Cited by 18
Wachowicz, M. (2001) · Socio-Environmental Systems Modeling · Cited by 18
Machine-learning techniques for software product quality assessment
Lounis, H., & Ait-Mehedine, L. (2004) · Asia-Pacific Conference on Quality Software (APAQS) · doi:10.1109/qsic.2004.24 · Cited by 18
A Data Mining Approach to Expressive Music Performance Modeling
Ramírez, R., Hazan, A., Maestre, E., & Serra, X. (2007) · Springer eBooks · doi:10.1007/978-1-84628-799-2_18 · Cited by 18
Arguing and explaining classifications
Leila Amgoud, A., & Serrurier, M. (2007) · Adaptive Agents and Multi-Agents Systems · doi:10.1145/1329125.1329319 · Cited by 18
Inducing inference rules for the classification of bovine mastitis
Kim, T., & Heald, C. W. (1999) · Computers and Electronics in Agriculture · doi:10.1016/s0168-1699(99)00003-4 · Cited by 18
Automated user modeling for intelligent interface
Yoshida, K., & Motoda, H. (1996) · International Journal of Human-Computer Interaction · doi:10.1080/10447319609526151 · Cited by 18
Learning the past tense of English verbs using inductive logic programming
Mooney, R. J., & Califf, M. E. (1996) · Lecture notes in computer science · doi:10.1007/3-540-60925-3_60 · Cited by 18
Learning to Set Up Numerical Optimizations of Engineering Designs
Schwabacher, M., Ellman, T., & Hirsh, H. (2001) · Massive computing · doi:10.1007/978-1-4757-4911-3_4 · Cited by 18
A hybrid approach to word segmentation
Kazakov, D., & Manandhar, S. (1998) · Lecture notes in computer science · doi:10.1007/bfb0027316 · Cited by 18
The complexity of theory revision
Greiner, R. (1999) · Artificial Intelligence · doi:10.1016/s0004-3702(98)00107-6 · Cited by 18
Raedt, L. D. (1996) · Cited by 18
Reducing the Small Disjuncts Problem by Learning Probabilistic Concept Descriptions
Ali, K., & Pazzani, M. J. (1995) · The MIT Press eBooks · doi:10.7551/mitpress/2007.003.0016 · Cited by 18
Bergadano, F. (1993) · IEEE Transactions on Knowledge and Data Engineering · doi:10.1109/69.250079 · Cited by 18
Algorithms and Architectures of Artificial Intelligence
Tyugu, E. (2007) · Cited by 18
Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME
Shakerin, F., & Gupta, G. (2019) · Proceedings of the AAAI Conference on Artificial Intelligence · doi:10.1609/aaai.v33i01.33013052 · Cited by 17
Matsuda, N., Cohen, W. W., Sewall, J., Lacerda, G., & Koedinger, K. R. (2008) · Lecture Notes in Computer Science · doi:10.1007/978-3-540-69132-7_16 · Cited by 17
Query-time Reasoning in Uncertain RDF Knowledge Bases with Soft and Hard Rules
Nakashole, N., Sozio, M., Suchanek, F. M., & Theobald, M. (2012) · MPG.PuRe (Max Planck Society) · Cited by 17
Molineaux, M., & Aha, D. W. (2014) · Proceedings of the AAAI Conference on Artificial Intelligence · doi:10.1609/aaai.v28i1.8751 · Cited by 17
$$\mathtt {OSL}\alpha $$: Online Structure Learning Using Background Knowledge Axiomatization
Michelioudakis, E., Skarlatidis, A., Παλιούρας, Γ., & Artikis, A. (2016) · Lecture notes in computer science · doi:10.1007/978-3-319-46128-1_15 · Cited by 17
Improving scalability of inductive logic programming via pruning and best-effort optimisation
Kazmi, M., Schüller, P., & Saygın, Y. (2017) · Expert Systems with Applications · doi:10.1016/j.eswa.2017.06.013 · Cited by 18
Suchanek, F. M., & Preda, N. (2014) · Proceedings of the VLDB Endowment · doi:10.14778/2732977.2732994 · Cited by 17
Efficient learning of large sets of locally optimal classification rules
Huynh, V. Q. P., Fürnkranz, J., & Beck, F. (2023) · Machine Learning · doi:10.1007/s10994-022-06290-w · Cited by 17
Acquisition of human feelings in music arrangement
Numao, M., Kobayashi, M., & Sakaniwa, K. (1997) · Cited by 17
To tune or not to tune: rule evaluation for metaheuristic-based sequential covering algorithms
Minnaert, B., Martens, D., Backer, M. D., & Baesens, B. (2013) · Data Mining and Knowledge Discovery · doi:10.1007/s10618-013-0339-5 · Cited by 17
Combining decisions of multiple rules
Kononenko, I. (1992) · Elsevier eBooks · doi:10.1016/b978-0-444-89752-7.50014-6 · Cited by 17
A Framework for Programming Embedded Systems: Initial Design and Results
Thrun, S. (1998) · Cited by 17
A first order logic classifier system
Mellor, D. (2005) · Genetic and Evolutionary Computation Conference (GECCO) · doi:10.1145/1068009.1068318 · Cited by 17
Learning fuzzy concept definitions
Botta, M., Giordana, A., & Saitta, L. (2002) · IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) · doi:10.1109/fuzzy.1993.327470 · Cited by 17
Evolutionary approaches to fuzzy modelling for classification
Galea, M., Shen, Q., & Levine, J. (2004) · The Knowledge Engineering Review · doi:10.1017/s0269888904000189 · Cited by 17
On learning multiple descriptions of a concept
Ali, K., Brunk, C., & Pazzani, M. J. (2002) · IEEE International Conference on Tools with Artificial Intelligence (ICTAI) · doi:10.1109/tai.1994.346454 · Cited by 17
Refining a Relational Theory with Multiple Faults in the Concept and Subconcepts
Tangkitvanich, S., & Shimura, M. (1992) · Elsevier eBooks · doi:10.1016/b978-1-55860-247-2.50061-9 · Cited by 17
Concise, intelligible, and approximate profiling of multiple classes
Valdés‐Pérez, R. E., Pereira, F., & Pericliev, V. B. (2000) · International Journal of Human-Computer Studies · doi:10.1006/ijhc.2000.0397 · Cited by 17
Finding accurate frontiers: A knowledge-intensive approach to relational learning
Pazzani, M. J., & Brunk, C. A. (1993) · NASA Technical Reports Server (NASA) · Cited by 17
Efficient Learning of Logic Programs with Non-determinate, Non-discriminating Literals
Kijsirikul, B., Numao, M., & Shimura, M. (1991) · Elsevier eBooks · doi:10.1016/b978-1-55860-200-7.50086-6 · Cited by 17
Tang, L. P. R., & Mooney, R. J. (2003) · Texas ScholarWorks (Texas Digital Library) · Cited by 17
Visual learning of patterns and objects
Bischof, W. F., & Caelli, T. (1997) · IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics) · doi:10.1109/3477.650053 · Cited by 17
Cheng, K., & Sun, Y. (2024) · Synthesis lectures on data, semantics and knowledge · doi:10.1007/978-3-031-72008-6_5 · Cited by 16
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
