Fetching the paper…
Reading the bibliography…
We describe an inductive logic programming (ILP) approach called learning from failures.
A note on the entscheidungsproblem
Alonzo Church · 1936
Earlier work this paper cites.
Automatic Methods of Inductive Inference
G.D. Plotkin · 1971
Earlier work this paper cites.
Horn clause computability
Sten-Åke Tärnlund · 1977
Earlier work this paper cites.
Algorithmic Program DeBugging
Ehud Y. Shapiro · 1983
Earlier work this paper cites.
Machine learning in the next five years
Donald Michie · 1988
Earlier work this paper cites.
Learning logical definitions from relations
J. Ross Quinlan · 1990
Earlier work this paper cites.
Inductive logic programming
Stephen Muggleton · 1991
Earlier work this paper cites.
Interactive concept-learning and constructive induction by analogy
Luc De Raedt and Maurice Bruynooghe · 1992
Earlier work this paper cites.
A theory of clausal discovery
Luc De Raedt and Maurice Bruynooghe · 1993
Earlier work this paper cites.
Grammatically biased learning: Learning logic programs using an explicit antecedent description language
William W. Cohen · 1994
Earlier work this paper cites.
Inverse entailment and progol
Stephen Muggleton · 1995
Earlier work this paper cites.
Foundations of Inductive Logic Programming
Shan-Hwei Nienhuys-Cheng and Ronald de Wolf · 1997
Earlier work this paper cites.
Top-down induction of first-order logical decision trees
Hendrik Blockeel and Luc De Raedt · 1998
Earlier work this paper cites.
Refining complete hypotheses in ILP
Ivan Bratko · 1999
Earlier work this paper cites.
A bounded search space of clausal theories
Herman Midelfart · 1999
Earlier work this paper cites.
A refinement operator for theories
Liviu Badea · 2001
Earlier work this paper cites.
The ALEPH manual
A. Srinivasan · 2001
Earlier work this paper cites.
Query transformations for improving the efficiency of ILP systems
Vítor Santos Costa, Ashwin Srinivasan, Rui Camacho, Hendrik Blockeel, Bart Demoen, Gerda Janssens, Jan Struyf, Henk Vandecasteele, and Wim Van Laer · 2003
Earlier work this paper cites.
The logic of scientific discovery
Karl Popper · 2005
Earlier work this paper cites.
A study of applying dimensionality reduction to restrict the size of a hypothesis space
Ashwin Srinivasan and Ravi Kothari · 2005
Earlier work this paper cites.
Logical and relational learning
Luc De Raedt · 2008
Earlier work this paper cites.
Sketching concurrent data structures
Armando Solar-Lezama, Christopher Grant Jones, and Rastislav Bodík · 2008
Earlier work this paper cites.
Nonmonotonic abductive inductive learning
Oliver Ray · 2009
Earlier work this paper cites.
Inductive logic programming as abductive search
Domenico Corapi, Alessandra Russo, and Emil Lupu · 2010
Cited alongside, same era.
Inductive logic programming in answer set programming
Domenico Corapi, Alessandra Russo, and Emil Lupu · 2011
Cited alongside, same era.
Foundations of logic programming
John W Lloyd · 2012
Cited alongside, same era.
ILP turns 20 - biography and future challenges
Stephen Muggleton, Luc De Raedt, David Poole, Ivan Bratko, Peter A. Flach, Katsumi Inoue, and Ashwin Srinivasan · 2012
Cited alongside, same era.
Efficient program synthesis using constraint satisfaction in inductive logic programming
John Ahlgren and Shiu Yin Yuen · 2013
Cited alongside, same era.
Learning through hypothesis refinement using answer set programming
Duangtida Athakravi, Domenico Corapi, Krysia Broda, and Alessandra Russo · 2013
Cited alongside, same era.
Deepcoder: Learning to write programs
Matej Balog, Alexander L. Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow · 2017
Later among the works it cites.
Blending lazy-grounding and CDNL search for answer-set solving
Antonius Weinzierl · 2017
Later among the works it cites.
Learning libraries of subroutines for neurally-guided bayesian program induction
Kevin Ellis, Lucas Morales, Mathias Sablé-Meyer, Armando Solar-Lezama, and Josh Tenenbaum · 2018
Later among the works it cites.
Learning explanatory rules from noisy data
Richard Evans and Edward Grefenstette · 2018
Later among the works it cites.
Program synthesis using conflict-driven learning
Yu Feng, Ruben Martins, Osbert Bastani, and Isil Dillig · 2018
Later among the works it cites.
Exploiting answer set programming with external sources for meta-interpretive learning
Tobias Kaminski, Thomas Eiter, and Katsumi Inoue · 2018
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Inductive learning using constraint-driven bias
Duangtida Athakravi, Dalal Alrajeh, Krysia Broda, Alessandra Russo, and Ken Satoh · 2014
Cited alongside, same era.
Clingo = ASP + control: Preliminary report
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub · 2014
Cited alongside, same era.
Inductive learning of answer set programs
Mark Law, Alessandra Russo, and Krysia Broda · 2014
Cited alongside, same era.
Bias reformulation for one-shot function induction
Dianhuan Lin, Eyal Dechter, Kevin Ellis, Joshua B. Tenenbaum, and Stephen Muggleton · 2014
Cited alongside, same era.
Meta-interpretive learning: application to grammatical inference
Stephen H. Muggleton, Dianhuan Lin, Niels Pahlavi, and Alireza Tamaddoni-Nezhad · 2014
Cited alongside, same era.
Structure learning via parameter learning
William Yang Wang, Kathryn Mazaitis, and William W. Cohen · 2014
Cited alongside, same era.
Later among the works it cites.
Inductive learning of answer set programs
Mark Law · 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
Peter Schüller and Mishal Benz · 2018
Later among the works it cites.
Playgol: Learning programs through play
Andrew Cropper · 2019
Later among the works it cites.
Learning relational representations with auto-encoding logic programs
Sebastijan Dumancic, Tias Guns, Wannes Meert, and Hendrik Blockeel · 2019
Later among the works it cites.
Write, execute, assess: Program synthesis with a REPL
Kevin Ellis, Maxwell I. Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, and Armando Solar-Lezama · 2019
Later among the works it cites.
Richard Evans, José Hernández-Orallo, Johannes Welbl, Pushmeet Kohli, and Marek J. Sergot · 2019
Later among the works it cites.
Multi-shot ASP solving with clingo
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub · 2019
Later among the works it cites.
Typed meta-interpretive learning of logic programs
Rolf Morel, Andrew Cropper, and C.-H. Luke Ong · 2019
Later among the works it cites.
Forgetting to learn logic programs
Andrew Cropper · 2020
Closest in time.
Inductive logic programming at 30: a new introduction
Andrew Cropper and Sebastijan Dumancic · 2020
Closest in time.
Learning large logic programs by going beyond entailment
Andrew Cropper and Sebastijan Dumancic · 2020
Closest in time.
Turning 30: New ideas in inductive logic programming
Andrew Cropper, Sebastijan Dumancic, and Stephen H. Muggleton · 2020
Closest in time.
Inductive general game playing
Andrew Cropper, Richard Evans, and Mark Law · 2020
Closest in time.
Learning higher-order logic programs
Andrew Cropper, Rolf Morel, and Stephen Muggleton · 2020
Closest in time.
Logical reduction of metarules
Andrew Cropper and Sophie Tourret · 2020
Closest in time.
Provenance-guided synthesis of datalog programs
Mukund Raghothaman, Jonathan Mendelson, David Zhao, Mayur Naik, and Bernhard Scholz · 2020
Closest in time.