Fetching the paper…
Reading the bibliography…
Inductive logic programming (ILP) is a form of machine learning.
A meta-transfer objective for learning to disentangle causal mechanisms
Bengio, Y., Deleu, T., Rahaman, N., Ke, N. R., Lachapelle, S., Bilaniuk, O., Goyal, A., and Pal, C. J. (2019) · 1901
Earlier work this paper cites.
On the measure of intelligence
Chollet, F. (2019) · 1911
Earlier work this paper cites.
An introduction to inductive logic programming and learning language in logic
Dzeroski, S., Cussens, J., and Manandhar, S. (1999) · 1925
Earlier work this paper cites.
Learning for semantic interpretation: Scaling up without dumbing down
Mooney, R. J. (1999) · 1925
Earlier work this paper cites.
A note on the entscheidungsproblem
Church, A. (1936) · 1936
Earlier work this paper cites.
Computing machinery and intelligence
Turing, A. M. (1950) · 1950
Earlier work this paper cites.
Programs with common sense
McCarthy, J. (1959) · 1959
Earlier work this paper cites.
Algorithm 64: Quicksort
Hoare, C. A. R. (1961) · 1961
Earlier work this paper cites.
A language for the description of concepts
Banerji, R. B. (1964) · 1964
Earlier work this paper cites.
A machine-oriented logic based on the resolution principle
Robinson, J. A. (1965) · 1965
Earlier work this paper cites.
Michalski, R. S. (1969)
1969
Earlier work this paper cites.
Linear resolution with selection function
Kowalski, R. A., and Kuehner, D. (1971) · 1971
Earlier work this paper cites.
Automatic Methods of Inductive Inference
Plotkin, G. (1971) · 1971
Earlier work this paper cites.
Universal sequential search problems
Levin, L. A. (1973) · 1973
Earlier work this paper cites.
Predicate logic as programming language
Kowalski, R. A. (1974) · 1974
Earlier work this paper cites.
Induction of concepts in the predicate calculus
Vera, S. (1975) · 1975
Earlier work this paper cites.
Negation as failure
Clark, K. L. (1977) · 1977
Earlier work this paper cites.
On closed world data bases
Reiter, R. (1977) · 1977
Earlier work this paper cites.
A methodology for LISP program construction from examples
Summers, P. D. (1977) · 1977
Earlier work this paper cites.
Horn clause computability
Tärnlund, S. (1977) · 1977
Earlier work this paper cites.
A deductive approach to program synthesis
Manna, Z., and Waldinger, R. J. (1980) · 1980
Earlier work this paper cites.
Concept learning by experiment
Sammut, C. (1981) · 1981
Earlier work this paper cites.
The discovery of the equator or concept driven learning
Emde, W., Habel, C., and Rollinger, C. (1983) · 1983
Earlier work this paper cites.
Algorithmic Program DeBugging
Shapiro, E. Y. (1983) · 1983
Earlier work this paper cites.
Unfold/fold transformation of logic programs
Tamaki, H., and Sato, T. (1984) · 1984
Earlier work this paper cites.
Algorithms and data structures
Wirth, N. (1985) · 1985
Earlier work this paper cites.
Induction of decision trees
Quinlan, J. R. (1986) · 1986
Earlier work this paper cites.
Occam’s razor
Blumer, A., Ehrenfeucht, A., Haussler, D., and Warmuth, M. K. (1987) · 1987
Earlier work this paper cites.
Duce, an oracle-based approach to constructive induction
Muggleton, S. (1987) · 1987
Earlier work this paper cites.
Generalized subsumption and its applications to induction and redundancy
Buntine, W. L. (1988) · 1988
Earlier work this paper cites.
The stable model semantics for logic programming
Gelfond, M., and Lifschitz, V. (1988) · 1988
Earlier work this paper cites.
The early years of logic programming
Kowalski, R. A. (1988) · 1988
Earlier work this paper cites.
Equivalences of logic programs
Maher, M. J. (1988) · 1988
Earlier work this paper cites.
Machine learning in the next five years
Michie, D. (1988) · 1988
Earlier work this paper cites.
Machine invention of first order predicates by inverting resolution
Muggleton, S., and Buntine, W. L. (1988) · 1988
Earlier work this paper cites.
Efficient induction of logic programs
Muggleton, S., and Feng, C. (1990) · 1990
Earlier work this paper cites.
Learning logical definitions from relations
Quinlan, J. R. (1990) · 1990
Earlier work this paper cites.
Non-monotonic learning
Bain, M., and Muggleton, S. (1991) · 1991
Earlier work this paper cites.
Learning qualitative models of dynamic systems
Bratko, I., Muggleton, S., and Varsek, A. (1991) · 1991
Earlier work this paper cites.
The well-founded semantics for general logic programs
Gelder, A. V., Ross, K. A., and Schlipf, J. S. (1991) · 1991
Earlier work this paper cites.
Inductive logic programming
Muggleton, S. (1991) · 1991
Earlier work this paper cites.
Interactive concept-learning and constructive induction by analogy
De Raedt, L., and Bruynooghe, M. (1992) · 1992
Earlier work this paper cites.
Markus: an optimized model inference system
Grobelnik, M. (1992) · 1992
Earlier work this paper cites.
Controlling the complexity of learning in logic through syntactic and task-oriented models
Kietz, J.-U., and Wrobel, S. (1992) · 1992
Earlier work this paper cites.
Drug design by machine learning: the use of inductive logic programming to model the structure-activity relationships of trimethoprim analogues binding to dihydrofolate reductase
King, R. D., Muggleton, S., Lewis, R. A., and Sternberg, M. J. (1992) · 1992
Earlier work this paper cites.
The birth of prolog
Colmerauer, A., and Roussel, P. (1993) · 1993
Earlier work this paper cites.
Predicate invention in inductive data engineering
Flach, P. A. (1993) · 1993
Earlier work this paper cites.
C4.5: Programs for Machine Learning
Quinlan, J. R. (1993) · 1993
Earlier work this paper cites.
The origins of inductive logic programming: A prehistoric tale
Sammut, C. (1993) · 1993
Earlier work this paper cites.
Overfitting avoidance as bias
Schaffer, C. (1993) · 1993
Earlier work this paper cites.
RUTH: an ILP theory revision system
Adé, H., Malfait, B., and De Raedt, L. (1994) · 1994
Earlier work this paper cites.
Learning logical exceptions in chess
Bain, M. (1994) · 1994
Earlier work this paper cites.
Recovering software specifications with inductive logic programming
Cohen, W. W. (1994b) · 1994
Earlier work this paper cites.
Practical advtanages of declarative programming
Lloyd, J. W. (1994) · 1994
Earlier work this paper cites.
Inductive logic programming: Theory and methods
Muggleton, S., and De Raedt, L. (1994) · 1994
Earlier work this paper cites.
Mutagenesis: ILP experiments in a non-determinate biological domain
Srinivasan, A., Muggleton, S., King, R., and Sternberg, M. (1994) · 1994
Earlier work this paper cites.
The art of Prolog: advanced programming techniques
Sterling, L., and Shapiro, E. Y. (1994) · 1994
Earlier work this paper cites.
Declarative bias for specific-to-general ILP systems
Adé, H., De Raedt, L., and Bruynooghe, M. (1995) · 1995
Earlier work this paper cites.
Predicate invention: A comprehensive view
Kramer, S. (1995) · 1995
Earlier work this paper cites.
Extraction of meta-knowledge to restrict the hypothesis space for ilp systems
McCreath, E., and Sharma, A. (1995) · 1995
Earlier work this paper cites.
Induction of first-order decision lists: Results on learning the past tense of english verbs
Mooney, R. J., and Califf, M. E. (1995) · 1995
Earlier work this paper cites.
Inverse entailment and progol
Muggleton, S. (1995) · 1995
Earlier work this paper cites.
Automated refinement of first-order horn-clause domain theories
Richards, B. L., and Mooney, R. J. (1995) · 1995
Earlier work this paper cites.
A statistical learning method for logic programs with distribution semantics
Sato, T. (1995) · 1995
Earlier work this paper cites.
Comparing the use of background knowledge by inductive logic programming systems
Srinivasan, A., Muggleton, S. H., and King, R. D. (1995) · 1995
Earlier work this paper cites.
The appropriateness of predicate invention as bias shift operation in ILP
Stahl, I. (1995) · 1995
Earlier work this paper cites.
Comparative results on using inductive logic programming for corpus-based parser construction
Zelle, J. M., and Mooney, R. J. (1995) · 1995
Earlier work this paper cites.
Inductive logic program synthesis with DIALOGS
Flener, P. (1996) · 1996
Earlier work this paper cites.
Inductive learning of chess rules using Progol
Goodacre, J. (1996) · 1996
Earlier work this paper cites.
Learning playing strategies in chess
Morales, E. M. (1996) · 1996
Earlier work this paper cites.
Theories for mutagenicity: A study in first-order and feature-based induction
Srinivasan, A., Muggleton, S., Sternberg, M. J. E., and King, R. D. (1996) · 1996
Earlier work this paper cites.
First-order theory refinement
Wrobel, S. (1996) · 1996
Earlier work this paper cites.
Learning to parse database queries using inductive logic programming
Zelle, J. M., and Mooney, R. J. (1996) · 1996
Earlier work this paper cites.
Multitask learning
Caruana, R. (1997) · 1997
Earlier work this paper cites.
Logical settings for concept-learning
De Raedt, L. (1997) · 1997
Earlier work this paper cites.
Clausal discovery
De Raedt, L., and Dehaspe, L. (1997) · 1997
Earlier work this paper cites.
On the complexity of some inductive logic programming problems
Gottlob, G., Leone, N., and Scarcello, F. (1997) · 1997
Earlier work this paper cites.
Learning extended logic programs
Inoue, K., and Kudoh, Y. (1997) · 1997
Earlier work this paper cites.
Machine learning
Mitchell, T. M. (1997) · 1997
Earlier work this paper cites.
Foundations of Inductive Logic Programming
Nienhuys-Cheng, S.-H., and Wolf, R. d. (1997) · 1997
Earlier work this paper cites.
Carcinogenesis predictions using ILP
Srinivasan, A., King, R. D., Muggleton, S., and Sternberg, M. J. E. (1997) · 1997
Cited alongside, same era.
Top-down induction of first-order logical decision trees
Blockeel, H., and De Raedt, L. (1998) · 1998
Cited alongside, same era.
Pharmacophore discovery using the inductive logic programming system PROGOL
Finn, P. W., Muggleton, S., Page, D., and Srinivasan, A. (1998) · 1998
Cited alongside, same era.
Refining complete hypotheses in ILP
Bratko, I. (1999) · 1999
Cited alongside, same era.
The role of occam’s razor in knowledge discovery
Domingos, P. M. (1999) · 1999
Cited alongside, same era.
Complexity and expressive power of logic programming
Dantsin, E., Eiter, T., Gottlob, G., and Voronkov, A. (2001) · 2001
Cited alongside, same era.
Incremental learning of event definitions with inductive logic programming
Katzouris, N., Artikis, A., and Paliouras, G. (2015) · 2015
Later among the works it cites.
Human-level concept learning through probabilistic program induction
Lake, B. M., Salakhutdinov, R., and Tenenbaum, J. B. (2015) · 2015
Later among the works it cites.
Deep learning
LeCun, Y., Bengio, Y., and Hinton, G. (2015) · 2015
Later among the works it cites.
Learning probabilistic action models from interpretation transitions
Martínez, D., Ribeiro, T., Inoue, K., Alenyà, G., and Torras, C. (2015) · 2015
Later among the works it cites.
Meta-interpretive learning of higher-order dyadic Datalog: predicate invention revisited
Muggleton, S. H., Lin, D., and Tamaddoni-Nezhad, A. (2015) · 2015
Later among the works it cites.
Type-and-example-directed program synthesis
Osera, P., and Zdancewic, S. (2015) · 2015
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Your wish is my command: Programming by example.
Lieberman, H. (2001) · 2001
Cited alongside, same era.
Relational rule induction with cp rogol 4.4: A tutorial introduction
Muggleton, S., and Firth, J. (2001) · 2001
Cited alongside, same era.
Induction of stable models
Otero, R. P. (2001) · 2001
Cited alongside, same era.
Nonmonotonic inductive logic programming
Sakama, C. (2001) · 2001
Cited alongside, same era.
Parameter learning of logic programs for symbolic-statistical modeling
Sato, T., and Kameya, Y. (2001) · 2001
Cited alongside, same era.
The ALEPH manual
Srinivasan, A. (2001) · 2001
Cited alongside, same era.
Later among the works it cites.
Learning multi-valued biological models with delayed influence from time-series observations
Ribeiro, T., Magnin, M., Inoue, K., and Sakama, C. (2015) · 2015
Later among the works it cites.
The robot engineer
Sammut, C., Sheh, R., Haber, A., and Wicaksono, H. (2015) · 2015
Later among the works it cites.
Metagol system
Cropper, A., and Muggleton, S. H. (2016) · 2016
Later among the works it cites.
Statistical Relational Artificial Intelligence: Logic, Probability, and Computation
De Raedt, L., Kersting, K., Natarajan, S., and Poole, D. (2016) · 2016
Later among the works it cites.
Meta-level abduction
Inoue, K. (2016) · 2016
Later among the works it cites.
Ilp-assisted de novo drug design
Kaalia, R., Srinivasan, A., Kumar, A., and Ghosh, I. (2016) · 2016
Later among the works it cites.
Neural gpus learn algorithms
Kaiser, L., and Sutskever, I. (2016) · 2016
Later among the works it cites.
Online learning of event definitions
Katzouris, N., Artikis, A., and Paliouras, G. (2016) · 2016
Later among the works it cites.
Building machines that learn and think like people
Lake, B. M., Ullman, T. D., Tenenbaum, J. B., and Gershman, S. J. (2016) · 2016
Later among the works it cites.
Iterative learning of answer set programs from context dependent examples
Law, M., Russo, A., and Broda, K. (2016) · 2016
Later among the works it cites.
Learning relational dynamics of stochastic domains for planning
Martínez, D., Alenyà, G., Torras, C., Ribeiro, T., and Inoue, K. (2016) · 2016
Later among the works it cites.
Neural programmer-interpreters
Reed, S. E., and de Freitas, N. (2016) · 2016
Later among the works it cites.
Mastering the game of go with deep neural networks and tree search
Silver, D., Huang, A., Maddison, C. J., Guez, A., Sifre, L., Van Den Driessche, G., Schrittwieser, J., Antonoglou, I., Panneershelvam, V., Lanctot, M., et al. (2016) · 2016
Later among the works it cites.
Constraint-based synthesis of datalog programs
Albarghouthi, A., Koutris, P., Naik, M., and Smith, C. (2017) · 2017
Later among the works it cites.
Deepcoder: Learning to write programs
Balog, M., Gaunt, A. L., Brockschmidt, M., Nowozin, S., and Tarlow, D. (2017) · 2017
Later among the works it cites.
Next-generation global biomonitoring: large-scale, automated reconstruction of ecological networks
Bohan, D. A., Vacher, C., Tamaddoni-Nezhad, A., Raybould, A., Dumbrell, A. J., and Woodward, G. (2017) · 2017
Later among the works it cites.
Efficiently learning efficient programs
Cropper, A. (2017) · 2017
Later among the works it cites.
Logical vision: One-shot meta-interpretive learning from real images
Dai, W., Muggleton, S., Wen, J., Tamaddoni-Nezhad, A., and Zhou, Z. (2017) · 2017
Later among the works it cites.
Clustering-based relational unsupervised representation learning with an explicit distributed representation
Dumančić, S., and Blockeel, H. (2017) · 2017
Later among the works it cites.
Program synthesis
Gulwani, S., Polozov, O., Singh, R., et al. (2017) · 2017
Later among the works it cites.
Towards automatically setting language bias in relational learning
Picado, J., Termehchy, A., Fern, A., and Pathak, S. (2017) · 2017
Later among the works it cites.
End-to-end differentiable proving
Rocktäschel, T., and Riedel, S. (2017) · 2017
Later among the works it cites.
Predicting the evolution of communities with online inductive logic programming
Athanasopoulos, G., Paliouras, G., Vogiatzis, D., Tzortzis, G., and Katzouris, N. (2018) · 2018
Later among the works it cites.
Identification of biological transition systems using meta-interpreted logic programs
Bain, M., and Srinivasan, A. (2018) · 2018
Later among the works it cites.
Large-scale assessment of deep relational machines
Dash, T., Srinivasan, A., Vig, L., Orhobor, O. I., and King, R. D. (2018) · 2018
Later among the works it cites.
Learning libraries of subroutines for neurally-guided bayesian program induction
Ellis, K., Morales, L., Sablé-Meyer, M., Solar-Lezama, A., and Tenenbaum, J. (2018) · 2018
Later among the works it cites.
Learning explanatory rules from noisy data
Evans, R., and Grefenstette, E. (2018) · 2018
Later among the works it cites.
Exploiting answer set programming with external sources for meta-interpretive learning
Kaminski, T., Eiter, T., and Inoue, K. (2018) · 2018
Later among the works it cites.
Inductive learning of answer set programs
Law, M. (2018) · 2018
Later among the works it cites.
The complexity and generality of learning answer set programs
Law, M., Russo, A., and Broda, K. (2018) · 2018
Later among the works it cites.
The game of bridge: A challenge for ILP
Legras, S., Rouveirol, C., and Ventos, V. (2018) · 2018
Later among the works it cites.
Deepproblog: Neural probabilistic logic programming
Manhaeve, R., Dumancic, S., Kimmig, A., Demeester, T., and De Raedt, L. (2018) · 2018
Later among the works it cites.
Deep learning: A critical appraisal
Marcus, G. (2018) · 2018
Later among the works it cites.
Meta-interpretive learning from noisy images
Muggleton, S., Dai, W., Sammut, C., Tamaddoni-Nezhad, A., Wen, J., and Zhou, Z. (2018) · 2018
Later among the works it cites.
Ultra-strong machine learning: comprehensibility of programs learned with ILP
Muggleton, S. H., Schmid, U., Zeller, C., Tamaddoni-Nezhad, A., and Besold, T. R. (2018) · 2018
Later among the works it cites.
Best-effort inductive logic programming via fine-grained cost-based hypothesis generation - the inspire system at the inductive logic programming competition
Schüller, P., and Benz, M. (2018) · 2018
Later among the works it cites.
Syntax-guided synthesis of Datalog programs
Si, X., Lee, W., Zhang, R., Albarghouthi, A., Koutris, P., and Naik, M. (2018) · 2018
Later among the works it cites.
Was the year 2000 a leap year? step-wise narrowing theories with metagol
Siebers, M., and Schmid, U. (2018) · 2018
Later among the works it cites.
Lifted relational neural networks: Efficient learning of latent relational structures
Sourek, G., Aschenbrenner, V., Zelezný, F., Schockaert, S., and Kuzelka, O. (2018) · 2018
Later among the works it cites.
Towards meta-interpretive learning of programming language semantics
Bartha, S., and Cheney, J. (2019) · 2019
Later among the works it cites.
Playgol: Learning programs through play
Cropper, A. (2019) · 2019
Later among the works it cites.
Learning efficient logic programs
Cropper, A., and Muggleton, S. H. (2019) · 2019
Later among the works it cites.
Bridging machine learning and logical reasoning by abductive learning
Dai, W., Xu, Q., Yu, Y., and Zhou, Z. (2019) · 2019
Later among the works it cites.
Neural-symbolic computing: An effective methodology for principled integration of machine learning and reasoning
d’Avila Garcez, A. S., Gori, M., Lamb, L. C., Serafini, L., Spranger, M., and Tran, S. N. (2019) · 2019
Later among the works it cites.
Neural logic machines
Dong, H., Mao, J., Lin, T., Wang, C., Li, L., and Zhou, D. (2019) · 2019
Later among the works it cites.
Learning relational representations with auto-encoding logic programs
Dumančić, S., Guns, T., Meert, W., and Blockeel, H. (2019) · 2019
Later among the works it cites.
Write, execute, assess: Program synthesis with a REPL
Ellis, K., Nye, M. I., Pu, Y., Sosa, F., Tenenbaum, J., and Solar-Lezama, A. (2019) · 2019
Later among the works it cites.
Neural networks for relational data
Kaur, N., Kunapuli, G., Joshi, S., Kersting, K., and Natarajan, S. (2019) · 2019
Later among the works it cites.
Representing and learning grammars in answer set programming
Law, M., Russo, A., Bertino, E., Broda, K., and Lobo, J. (2019) · 2019
Later among the works it cites.
Typed meta-interpretive learning of logic programs
Morel, R., Cropper, A., and Ong, C. L. (2019) · 2019
Later among the works it cites.
Human compatible: Artificial intelligence and the problem of control
Russell, S. (2019) · 2019
Later among the works it cites.
Synthesizing datalog programs using numerical relaxation
Si, X., Raghothaman, M., Heo, K., and Naik, M. (2019) · 2019
Later among the works it cites.
Active inductive logic programming for code search
Sivaraman, A., Zhang, T., den Broeck, G. V., and Kim, M. (2019) · 2019
Later among the works it cites.
Sld-resolution reduction of second-order horn fragments
Tourret, S., and Cropper, A. (2019) · 2019
Later among the works it cites.
Forgetting to learn logic programs
Cropper, A. (2020) · 2020
Closest in time.
Turning 30: New ideas in inductive logic programming
Cropper, A., Dumančić, S., and Muggleton, S. H. (2020a) · 2020
Closest in time.
Learning higher-order logic programs
Cropper, A., Morel, R., and Muggleton, S. (2020) · 2020
Closest in time.
Logical reduction of metarules
Cropper, A., and Tourret, S. (2020) · 2020
Closest in time.
Kant’s cognitive architecture
Evans, R. (2020) · 2020
Closest in time.
Complete bottom-up predicate invention in meta-interpretive learning
Hocquette, C., and Muggleton, S. H. (2020) · 2020
Closest in time.
Non-parametric learning of lifted restricted boltzmann machines
Kaur, N., Kunapuli, G., and Natarajan, S. (2020) · 2020
Closest in time.
Fastlas: Scalable inductive logic programming incorporating domain-specific optimisation criteria
Law, M., Russo, A., Bertino, E., Broda, K., and Lobo, J. (2020) · 2020
Closest in time.
The ilasp system for inductive learning of answer set programs
Law, M., Russo, A., and Broda, K. (2020) · 2020
Closest in time.
From statistical relational to neuro-symbolic artificial intelligence
Raedt, L. D., Dumancic, S., Manhaeve, R., and Marra, G. (2020) · 2020
Closest in time.
Provenance-guided synthesis of datalog programs
Raghothaman, M., Mendelson, J., Zhao, D., Naik, M., and Scholz, B. (2020) · 2020
Closest in time.
Learning any semantics for dynamical systems represented by logic programs
Ribeiro, T., Folschette, M., Magnin, M., and Inoue, K. (2020) · 2020
Closest in time.
Beneficial and harmful explanatory machine learning
Ai, L., Muggleton, S. H., Hocquette, C., Gromowski, M., and Schmid, U. (2021) · 2021
Closest in time.
Learning programs by learning from failures
Cropper, A., and Morel, R. (2021) · 2021
Closest in time.
Abductive knowledge induction from raw data
Dai, W., and Muggleton, S. (2021) · 2021
Closest in time.
Knowledge refactoring for inductive program synthesis
Dumancic, S., Guns, T., and Cropper, A. (2021) · 2021
Closest in time.
Making sense of sensory input
Evans, R., Hernández-Orallo, J., Welbl, J., Kohli, P., and Sergot, M. J. (2021) · 2021
Closest in time.
Learning logic programs through divide, constrain, and conquer
Cropper, A. (2022) · 2022
Closest in time.
Learning large logic programs by going beyond entailment
Cropper, A., and Dumančić, S. (2020) · 2079
Closest in time.