Learning programs by learning from failures
From MaRDI portal
Publication:2051282
DOI10.1007/s10994-020-05934-zOpenAlexW3130268038MaRDI QIDQ2051282
Publication date: 24 November 2021
Published in: Machine Learning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2005.02259
Related Items (6)
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems ⋮ Inductive logic programming at 30 ⋮ Learning logic programs by explaining their failures ⋮ \(\alpha\)ILP: thinking visual scenes as differentiable logic programs ⋮ Learning programs with magic values ⋮ Meta-interpretive learning as metarule specialisation
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- ILP turns 20. Biography and future challenges
- Nonmonotonic abductive inductive learning
- Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
- Interactive concept-learning and constructive induction by analogy
- Top-down induction of first-order logical decision trees
- Grammatically biased learning: Learning logic programs using an explicit antecedent description language
- Foundations of inductive logic programming
- Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition
- Learning higher-order logic programs
- Logical reduction of metarules
- Inductive general game playing
- Meta-interpretive learning: application to grammatical inference
- Typed meta-interpretive learning of logic programs
- Blending lazy-grounding and CDNL search for answer-set solving
- INDUCTIVE LOGIC PROGRAMMING AS ABDUCTIVE SEARCH
- Inductive Learning of Answer Set Programs
- Learning Through Hypothesis Refinement Using Answer Set Programming
- Logical and Relational Learning
- Horn clause computability
- Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
- Online learning of event definitions
- Iterative Learning of Answer Set Programs from Context Dependent Examples
- Learning Explanatory Rules from Noisy Data
- 10.1162/153244304773936027
- Multi-shot ASP solving with clingo
- Inductive Logic Programming
- A note on the Entscheidungsproblem
- Inductive logic programming
This page was built for publication: Learning programs by learning from failures