Learning programs by learning from failures
From MaRDI portal
Publication:2051282
Recommendations
Cites work
- 10.1162/153244304773936027
- A note on the Entscheidungsproblem
- Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition
- Blending lazy-grounding and CDNL search for answer-set solving
- Efficient program synthesis using constraint satisfaction in inductive logic programming
- Exploiting answer set programming with external sources for meta-interpretive learning
- Foundations of inductive logic programming
- Grammatically biased learning: Learning logic programs using an explicit antecedent description language
- Horn clause computability
- scientific article; zbMATH DE number 3947593 (Why is no real title available?)
- scientific article; zbMATH DE number 1877042 (Why is no real title available?)
- ILP turns 20. Biography and future challenges
- Inductive general game playing
- Inductive learning of answer set programs
- Inductive Logic Programming
- Inductive logic programming
- Inductive logic programming as abductive search
- Interactive concept-learning and constructive induction by analogy
- Iterative learning of answer set programs from context dependent examples
- Learning explanatory rules from noisy data
- Learning higher-order logic programs
- Learning through hypothesis refinement using answer set programming
- Logical and Relational Learning
- Logical reduction of metarules
- Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
- Meta-interpretive learning: application to grammatical inference
- Multi-shot ASP solving with clingo
- Nonmonotonic abductive inductive learning
- Online learning of event definitions
- Top-down induction of first-order logical decision trees
- Typed meta-interpretive learning of logic programs
Cited in
(16)- Meta-interpretive learning as metarule specialisation
- Inductive logic programming at 30
- scientific article; zbMATH DE number 92608 (Why is no real title available?)
- Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems
- Learning logic programs by explaining their failures
- \(\alpha\)ILP: thinking visual scenes as differentiable logic programs
- Learning programs with magic values
- Nominal anti-unification modulo equational theories
- Equational generalization problems with atom-variables
- A nominal approach to equational problems in languages with binders
- Mixtures of probabilistic logic programs
- Learning answer set programs with aggregates via sampling and genetic programming
- Inductive learning of robot task knowledge from raw data and online expert feedback
- Conflict-driven inductive logic programming
- Rule and constraint based debugging of DBpedia queries
- An empirical comparison of cost functions in inductive logic programming
This page was built for publication: Learning programs by learning from failures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2051282)
