Logical reduction of metarules
From MaRDI portal
Publication:2203321
DOI10.1007/S10994-019-05834-XOpenAlexW2990128951MaRDI QIDQ2203321
Sophie Tourret, Andrew Cropper
Publication date: 6 October 2020
Published in: Machine Learning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1907.10952
inductive logic programmingprogram inductionmeta-interpretive learninginductive programminglogical reduction
Related Items (3)
Inductive logic programming at 30 ⋮ Learning programs with magic values ⋮ Learning programs by learning from failures
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- ILP turns 20. Biography and future challenges
- Removing redundancy from a clause
- Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
- Occam's razor
- Implication of clauses is undecidable
- Interactive concept-learning and constructive induction by analogy
- Grammatically biased learning: Learning logic programs using an explicit antecedent description language
- Foundations of inductive logic programming
- Meta-interpretive learning: application to grammatical inference
- Typed meta-interpretive learning of logic programs
- SLD-resolution reduction of second-order Horn fragments
- Redundancy in logic. II: 2CNF and Horn propositional formulae
- Learning efficient logic programs
- Redundancy in logic. I: CNF propositional formulae
- Clause Elimination for SAT and QSAT
- Quantifier-Free Equational Logic and Prime Implicate Generation
- Subterm contextual rewriting
- Resolution Strategies as Decision Procedures
- Horn clause computability
- Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
- Learning Explanatory Rules from Noisy Data
- From Search to Computation: Redundancy Criteria and Simplification at Work
- Derivation Reduction of Metarules in Meta-interpretive Learning
- Inductive Logic Programming
- A Machine-Oriented Logic Based on the Resolution Principle
This page was built for publication: Logical reduction of metarules
