Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
- 12 March 2015
- journal article
- Published by Springer Science and Business Media LLC in Machine Learning
- Vol. 100 (1), 49-73
- https://doi.org/10.1007/s10994-014-5471-y
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- Logical settings for concept-learningArtificial Intelligence, 1997
- Inverse entailment and progolNew Generation Computing, 1995
- Grammatically biased learning: Learning logic programs using an explicit antecedent description languageArtificial Intelligence, 1994
- Inductive Logic Programming: Theory and methodsThe Journal of Logic Programming, 1994
- A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple UnificationJournal of Logic and Computation, 1991
- Learnability and the Vapnik-Chervonenkis dimensionJournal of the ACM, 1989
- A theory of the learnableCommunications of the ACM, 1984
- Horn clause computabilityBIT Numerical Mathematics, 1977
- Inductive inference of VL decision rulesACM SIGART Bulletin, 1977
- A unification algorithm for typedTheoretical Computer Science, 1975