Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited (Q894695): Difference between revisions

@@ Property / cites work @@
+Learnability and the Vapnik-Chervonenkis dimension
+Normal rank
@@ Property / cites work @@
+Inductive Logic Programming: Theory and methods
@@ Property / cites work: Inductive Logic Programming: Theory and methods / rank @@
+Normal rank
@@ Property / cites work @@
+Grammatically biased learning: Learning logic programs using an explicit antecedent description language
+Normal rank
@@ Property / cites work @@
+A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
+Normal rank
@@ Property / cites work @@
+Logical settings for concept-learning
@@ Property / cites work: Logical settings for concept-learning / rank @@
+Normal rank
@@ Property / cites work @@
+Relational reinforcement learning
@@ Property / cites work: Relational reinforcement learning / rank @@
+Normal rank
@@ Property / cites work @@
+Q5688938
@@ Property / cites work: Q5688938 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767980
@@ Property / cites work: Q2767980 / rank @@
+Normal rank
@@ Property / cites work @@
+A unification algorithm for typed \(\bar\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Discovering Rules by Meta-level Abduction
@@ Property / cites work: Discovering Rules by Meta-level Abduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4806966
@@ Property / cites work: Q4806966 / rank @@
+Normal rank
@@ Property / cites work @@
+MetaBayes: Bayesian Meta-Interpretative Learning Using Higher-Order Stochastic Refinement
+Normal rank
@@ Property / cites work @@
+Meta-interpretive learning: application to grammatical inference
+Normal rank
@@ Property / cites work @@
+ILP turns 20. Biography and future challenges
@@ Property / cites work: ILP turns 20. Biography and future challenges / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of inductive logic programming
@@ Property / cites work: Foundations of inductive logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive Logic Programming
@@ Property / cites work: Inductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624080
@@ Property / cites work: Q3624080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843187
@@ Property / cites work: Q4843187 / rank @@
+Normal rank
@@ Property / cites work @@
+Horn clause computability
@@ Property / cites work: Horn clause computability / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of the learnable
@@ Property / cites work: A theory of the learnable / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank