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

@@ Property / DOI @@
-.1007/s10994-014-5471-y
@@ Property / DOI: 10.1007/s10994-014-5471-y / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Datalog
@@ Property / describes a project that uses: Datalog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Metagol
@@ Property / describes a project that uses: Metagol / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10994-014-5471-y
+Normal rank
@@ Property / OpenAlex ID @@
+W1769664091
@@ Property / OpenAlex ID: W1769664091 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S10994-014-5471-Y
@@ Property / DOI: 10.1007/S10994-014-5471-Y / rank @@
+Normal rank