Logic for Learning
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
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?
Various higher-order logic learning frameworks have difficulties in incorporation of background knowledge and compatibility with more developed logic programming frameworks.
“Various authors (Feng and Muggleton 1992; Lloyd 2003) have advocated higher-order logic learning frameworks. However, to date these approaches have difficulties in incorporation of background knowledge and compatibility with more developed logic programming frameworks.”
From Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited (2015) · cites this paper as Lloyd 2003
Cites
Still being checked.
Cited by
Sorted by citations
A survey of kernels for structured data
Gärtner, T. (2003) · ACM SIGKDD Explorations Newsletter · doi:10.1145/959242.959248 · Cited by 451 · see citing works
Declarative Agent Languages and Technologies IV
BALDONI, M., & Endriss, U. (2006) · Lecture notes in computer science · doi:10.1007/11961536 · Cited by 247 · see citing works
Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
Muggleton, S. H., Lin, D., & Tamaddoni-Nezhad, A. (2015) · Machine Learning · doi:10.1007/s10994-014-5471-y · Cited by 184 · see citing works
A Monte-Carlo AIXI Approximation
Veness, J., Ng, K. S., Hütter, M., Uther, W., & Silver, D. (2011) · Journal of Artificial Intelligence Research · doi:10.1613/jair.3125 · Cited by 165 · see citing works
Kernels and Distances for Structured Data
Gärtner, T., Lloyd, J. W., & Flach, P. A. (2004) · Machine Learning · doi:10.1023/b:mach.0000039777.23772.30 · Cited by 159 · see citing works
Self-citationILP turns 20: Biography and future challenges
Muggleton, S., De Raedt, L., Poole, D., Bratko, I., Flach, P., Inoue, K., & Srinivasan, A. (2012) · Machine Learning · doi:10.1007/s10994-011-5259-2 · Cited by 126 · see citing works
Analysis of remotely sensed data: the formative decades and the future
Richards, J. A. (2005) · IEEE Transactions on Geoscience and Remote Sensing · doi:10.1109/tgrs.2004.837326 · Cited by 123 · see citing works
EXPERIENCE-BASED KNOWLEDGE REPRESENTATION: SOEKS
Sanín, C., & Szczerbicki, E. (2009) · Cybernetics & Systems · doi:10.1080/01969720802633149 · Cited by 74 · see citing works
Support Vector Inductive Logic Programming
Muggleton, S., Lodhi, H. M., Amini, A., & Sternberg, M. J. E. (2005) · Lecture notes in computer science · doi:10.1007/11563983_15 · Cited by 68 · see citing works
Attributional Calculus: A Logic and Representation Language for Natural Induction
Michalski, R. S. (2004) · doi:10.13021/mars/3407 · Cited by 64 · see citing works
Monitoring WS-Agreements: An Event Calculus–Based Approach
Mahbub, K., & Spanoudakis, G. (2007) · Springer eBooks · doi:10.1007/978-3-540-72912-9_10 · Cited by 59 · see citing works
Application of a Multi-domain Knowledge Structure: The Decisional DNA
Sanín, C., Mancilla-Amaya, L., Szczerbicki, E., & Cayfordhowell, P. (2009) · Studies in computational intelligence · doi:10.1007/978-3-642-04170-9_3 · Cited by 54 · see citing works
Exploiting First-Order Regression in Inductive Policy SelectionPreprint
Gretton, C., & Thiébaux, S. (2012) · arXiv (Cornell University) · doi:10.5555/1036843.1036870 · Cited by 54 · see citing works
Sanín, C., & Szczerbicki, E. (2007) · Cybernetics & Systems · doi:10.1080/01969720701601189 · Cited by 51 · see citing works
Towards a General Framework for Data Mining
Džeroski, S. (2007) · Springer eBooks · doi:10.1007/978-3-540-75549-4_16 · Cited by 50 · see citing works
Hierarchical Bayesian Networks: An Approach to Classification and Learning for Structured Data
Gyftodimos, E., & Flach, P. A. (2004) · Lecture notes in computer science · doi:10.1007/978-3-540-24674-9_31 · Cited by 46 · see citing works
Learning higher-order logic programs through abstraction and invention
Cropper, A., & Muggleton, S. (2016) · Oxford University Research Archive (ORA) (University of Oxford) · Cited by 40 · see citing works
Sanín, C., & Szczerbicki, E. (2006) · Cybernetics & Systems · doi:10.1080/01969720500425046 · Cited by 35 · see citing works
Using XML for Implementing Set of Experience Knowledge Structure
Sanín, C., & Szczerbicki, E. (2005) · Lecture notes in computer science · doi:10.1007/11552413_135 · Cited by 30 · see citing works
Logical reduction of metarules
Cropper, A., & Tourret, S. (2020) · Machine Learning · doi:10.1007/s10994-019-05834-x · Cited by 29 · see citing works
A Framework for Learning Comprehensible Theories in XML Document Classification
Wu, J. X. (2011) · IEEE Transactions on Knowledge and Data Engineering · doi:10.1109/tkde.2011.158 · Cited by 28 · see citing works
Differentiable Inductive Logic Programming for Structured Examples
Shindo, H., Nishino, M., & Yamamoto, A. (2021) · Proceedings of the AAAI Conference on Artificial Intelligence · doi:10.1609/aaai.v35i6.16637 · Cited by 27 · see citing works
Using ILP to Construct Features for Information Extraction from Semi-structured Text
Ramakrishnan, G., Joshi, S., Balakrishnan, S., & Srinivasan, A. (2008) · Springer eBooks · doi:10.1007/978-3-540-78469-2_22 · Cited by 25 · see citing works
Probabilistic modelling, inference and learning using logical theories
Ng, K. S., Lloyd, J. W., & Uther, W. (2008) · Annals of Mathematics and Artificial Intelligence · doi:10.1007/s10472-009-9136-7 · Cited by 24 · see citing works
Self-citationDECISIONAL DNA: THE CONCEPT AND ITS IMPLEMENTATION PLATFORMS
Sanín, C., Mancilla-Amaya, L., Zhang, H., & Szczerbicki, E. (2012) · Cybernetics & Systems · doi:10.1080/01969722.2012.654069 · Cited by 23 · see citing works
Connectionist computations of intuitionistic reasoning
Garcez, A. D., Lamb, L. C., & Gabbay, D. M. (2006) · Theoretical Computer Science · doi:10.1016/j.tcs.2005.11.043 · Cited by 23 · see citing works
Solving Relational and First-Order Logical Markov Decision Processes: A Survey
van Otterlo, M. (2012) · Adaptation, learning, and optimization · doi:10.1007/978-3-642-27645-3_8 · Cited by 22 · see citing works
Personalisation for user agents
Cole, J. J., Gray, M. J., Lloyd, J. W., & Ng, K. S. (2005) · Adaptive Agents and Multi-Agents Systems · doi:10.1145/1082473.1082565 · Cited by 19 · see citing works
Self-citationProbabilities on Sentences in an Expressive Logic
Hütter, M., Lloyd, J. W., Ng, K. S., & Uther, W. (2013) · Journal of Applied Logic · doi:10.1016/j.jal.2013.03.003 · Cited by 16 · see citing works
Self-citationGENETIC ALGORITHMS FOR DECISIONAL DNA: SOLVING SETS OF EXPERIENCE KNOWLEDGE STRUCTURE
Sanín, C., & Szczerbicki, E. (2007) · Cybernetics & Systems · doi:10.1080/01969720701344269 · Cited by 15 · see citing works
Probabilistic reasoning in a classical logic
Ng, K. S., & Lloyd, J. W. (2008) · Journal of Applied Logic · doi:10.1016/j.jal.2007.11.008 · Cited by 12 · see citing works
Self-citationLearning higher-order logic programs
Cropper, A., Morel, R., & Muggleton, S. (2020) · Machine Learning · doi:10.1007/s10994-019-05862-7 · Cited by 11 · see citing works
Statistical Relational Learning
Blockeel, H. (2013) · Intelligent systems reference library · doi:10.1007/978-3-642-36657-4_8 · Cited by 11 · see citing works
DISSIMILAR SETS OF EXPERIENCE KNOWLEDGE STRUCTURE: A NEGOTIATION PROCESS FOR DECISIONAL DNA
Sanín, C., & Szczerbicki, E. (2007) · Cybernetics & Systems · doi:10.1080/01969720701344210 · Cited by 10 · see citing works
Learning with Kernels and Logical Representations
Frasconi, P. (2008) · Springer eBooks · doi:10.1007/978-3-540-78469-2_1 · Cited by 9 · see citing works
Predictive Graph Mining with Kernel Methods
Gärtner, T. (2005) · Springer eBooks · doi:10.1007/1-84628-284-5_4 · Cited by 9 · see citing works
An adaptive plan-based dialogue agent
Nguyen, A., & Wobcke, W. (2006) · Adaptive Agents and Multi-Agents Systems · doi:10.1145/1160633.1160771 · Cited by 9 · see citing works
Lloyd, J. W., & Ng, K. S. (2007) · Lecture notes in computer science · doi:10.1007/978-3-540-73847-3_31 · Cited by 9 · see citing works
Self-citationScalable Entity Resolution Using Probabilistic Signatures on Parallel Databases
Zhang, Y., Ng, K. S., Churchill, T., & Christen, P. (2018) · ACM International Conference on Information and Knowledge Management (CIKM) · doi:10.1145/3269206.3272016 · Cited by 8 · see citing works
Learning with Kernels and Logical Representations
Frasconi, P., & Passerini, A. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-78652-8_3 · Cited by 8 · see citing works
Combining Bayesian Networks with Higher-Order Data Representations
Gyftodimos, E., & Flach, P. A. (2005) · Lecture notes in computer science · doi:10.1007/11552253_14 · Cited by 8 · see citing works
GAINING KNOWLEDGE THROUGH EXPERIENCE: DEVELOPING DECISIONAL DNA APPLICATIONS IN ROBOTICS
Zhang, H., Sanín, C., & Szczerbicki, E. (2010) · Cybernetics & Systems · doi:10.1080/01969722.2010.520228 · Cited by 7 · see citing works
Decisional DNA Applied to Robotics
Zhang, H., Sanín, C., & Szczerbicki, E. (2010) · Lecture notes in computer science · doi:10.1007/978-3-642-15390-7_58 · Cited by 6 · see citing works
MAKING DIGITAL TV SMARTER: CAPTURING AND REUSING EXPERIENCE IN DIGITAL TV
Zhang, H., Sanín, C., & Szczerbicki, E. (2012) · Cybernetics & Systems · doi:10.1080/01969722.2012.654074 · Cited by 6 · see citing works
Struyf, J., & Blockeel, H. (2010) · Encyclopedia of Machine Learning · doi:10.1007/978-0-387-30164-8_719 · Cited by 6 · see citing works
DEVELOPING HETEROGENEOUS SIMILARITY METRICS FOR KNOWLEDGE ADMINISTRATION
Sanín, C., & Szczerbicki, E. (2006) · Cybernetics & Systems · doi:10.1080/01969720600734495 · Cited by 5 · see citing works
Experience-Oriented Enhancement of Smartness For Internet of Things
Zhang, H., Sanín, C., & Szczerbicki, E. (2015) · Lecture notes in computer science · doi:10.1007/978-3-319-15705-4_49 · Cited by 4 · see citing works
Siebes, A. P. J. M. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-34156-4_3 · Cited by 4 · see citing works
Support Vector Inductive Logic Programming
Muggleton, S., Lodhi, H., Amini, A., & Sternberg, M. J. E. (2006) · Springer eBooks · doi:10.1007/3-540-33486-6_5 · Cited by 4 · see citing works
Modal Higher-order Logic for Agents
Lloyd, J. W. (2004) · Cited by 4 · see citing works
Self-citationFewer Epistemological Challenges for Connectionism
Garcez, A. D. (2005) · Lecture notes in computer science · doi:10.1007/11494645_18 · Cited by 4 · see citing works
Similarity Metrics for Set of Experience Knowledge Structure
Sanín, C., & Szczerbicki, E. (2006) · Lecture notes in computer science · doi:10.1007/11892960_80 · Cited by 3 · see citing works
An Inductive Learning System for XML Documents
Wu, X. (2008) · Springer eBooks · doi:10.1007/978-3-540-78469-2_28 · Cited by 3 · see citing works
Declarative programming for agent applications
Lloyd, J. W., & Ng, K. S. (2010) · Autonomous Agents and Multi-Agent Systems · doi:10.1007/s10458-010-9138-1 · Cited by 3 · see citing works
Self-citationSLD-Resolution Reduction of Second-Order Horn Fragments
Tourret, S., & Cropper, A. (2019) · Lecture Notes in Computer Science · doi:10.1007/978-3-030-19570-0_17 · Cited by 3 · see citing works
An Architecture for Rational Agents
Lloyd, J. W., & Sears, T. D. (2006) · Lecture notes in computer science · doi:10.1007/11691792_4 · Cited by 3 · see citing works
Self-citationProbabilistic and Logical Beliefs
Lloyd, J. W., & Ng, K. S. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-85058-8_2 · Cited by 3 · see citing works
Self-citationA Framework for Object-Oriented Data Mining Based on Higher-Order Logic Programming
Zhang, Z. P., Li, L. N., Wang, L. J., & Yu, H. Y. (2013) · Applied Mechanics and Materials · doi:10.4028/www.scientific.net/amm.420.325 · Cited by 2 · see citing works
Lloyd, J. W., & Ng, K. S. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-77564-5_8 · Cited by 2 · see citing works
Self-citationAndrew, A. M. (2004) · Kybernetes · doi:10.1108/03684920410545234 · Cited by 2 · see citing works
Learning concept descriptions with typed evolutionary programming
Thie, C. J., & Giraud-Carrier, C. G. (2005) · IEEE Transactions on Knowledge and Data Engineering · doi:10.1109/tkde.2005.199 · Cited by 2 · see citing works
Struyf, J., & Blockeel, H. (2017) · Encyclopedia of Machine Learning and Data Mining · doi:10.1007/978-1-4899-7687-1_719 · Cited by 2 · see citing works
Decisional DNA Digital TV: Concept and Initial Experiment
Zhang, H., Sanín, C., & Szczerbicki, E. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-23935-9_50 · Cited by 1 · see citing works
Querying and Merging Heterogeneous Data by Approximate Joins on Higher-Order Terms
Price, S., & Flach, P. A. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-85928-4_19 · Cited by 1 · see citing works
Biography and future challenges
Muggleton, S., Raedt, L. D., Poole, D., Ivan Bratko, A., Flach, P. A., Inoue, K., & Srinivasan, A. (2011) · Cited by 1 · see citing works
Pahlavi, N., & Muggleton, S. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-21295-6_23 · Cited by 1 · see citing works
Inductive Logic Programming: Yet Another Application of Logic
Yamamoto, A. (2006) · Lecture notes in computer science · doi:10.1007/11963578_9 · Cited by 1 · see citing works
Techniques for improving the efficiency of inductive logic programming in the context of data mining
Struyf, J. (2005) · Lirias · Cited by 1 · see citing works
SLD-Resolution Reduction of Second-Order Horn Fragments -- technical report --Preprint
Tourret, S., & Cropper, A. (2019) · arXiv (Cornell University) · doi:10.48550/arxiv.1902.09900 · Cited by 1 · see citing works
Blockeel, H. (2010) · Encyclopedia of Machine Learning · doi:10.1007/978-0-387-30164-8_73
Lloyd, J. W. (2003) · Lecture notes in computer science · doi:10.1007/978-3-540-39917-9_2
Self-citationTowards Decisional DNA-based Cognitive Embedded Systems
Zhang, H., Sanín, C., & Szczerbicki, E. (2010) · International Conference on Computer Engineering and Technology · doi:10.1109/iccet.2010.5486157
A LOGIC AND REPRESENTATION LANGUAGE FOR NATURAL INDUCTION
Michalski, R. S. (2004)
Decisional DNA Applied to Digital TV
Zhang, H., Sanín, C., & Szczerbicki, E. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-23863-5_68
HIGHER-ORDER LOGIC LEARNING ANDPROGOL
Pahlavi, N. (2010)
(2012) · SpringerReference · doi:10.1007/springerreference_178785
Set of Experience and Decisional DNA: Experience-Based Knowledge Structures
Sanín, C., & Szczerbicki, E. (2020) · Intelligent systems reference library · doi:10.1007/978-3-030-39601-5_1
Blockeel, H. (2010) · Encyclopedia of Machine Learning · doi:10.1007/978-0-387-30164-8_372
Lloyd, J. W. (2017) · Encyclopedia of Machine Learning and Data Mining · doi:10.1007/978-1-4899-7687-1_126
Self-citationBlockeel, H. (2017) · Encyclopedia of Machine Learning and Data Mining · doi:10.1007/978-1-4899-7687-1_372
Lloyd, J. W. (2010) · Encyclopedia of Machine Learning · doi:10.1007/978-0-387-30164-8_365
Self-citationLloyd, J. W. (2014) · Encyclopedia of Machine Learning and Data Mining · doi:10.1007/978-1-4899-7502-7_126-1
Self-citationBlockeel, H. (2017) · Encyclopedia of Machine Learning and Data Mining · doi:10.1007/978-1-4899-7687-1_73
- Authors
- Lloyd, J. W.
- Affiliations
- Australian National University (AU)
- Corresponding author
- Lloyd, J. W.
- ORCID
- Lloyd, J. W.
- Venue
- Cognitive Technologies
- Publisher
- Springer Berlin Heidelberg
- Published
- 2003
- ISSN
- 1611-2482 (ISSN-L)
- OpenAlex
- W2497826135
- Cited by
- 81
- References
- 0
- Citations by year
- 2020: 1 · 2019: 4 · 2018: 1 · 2017: 4 · 2016: 1 · 2015: 2 · 2014: 1 · 2013: 3 · 2012: 5
- FWCI
- 3.68
- Type
- book
- Language
- en
- Open access
- closed
- Licence
- www.springer.com/tdm (tdm)
- Locations
- Cognitive technologies (publishedVersion)
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Logic, Reasoning, and Knowledge
- Physical Sciences › Computer Science › Artificial Intelligence › Machine Learning and Algorithms
- Physical Sciences › Computer Science › Artificial Intelligence › Bayesian Modeling and Causal Inference
- Keywords
- computational logic, machine learning, inductive logic programming, knowledge representation
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
