Top program construction and reduction for polynomial time meta-interpretive learning (Q2051277): Difference between revisions

@@ Property / describes a project that uses @@
+Louise
@@ Property / describes a project that uses: Louise / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / 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 / OpenAlex ID @@
+W3119214637
@@ Property / OpenAlex ID: W3119214637 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning Through Hypothesis Refinement Using Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Occam's razor
@@ Property / cites work: Occam's razor / rank @@
+Normal rank
@@ Property / cites work @@
+INDUCTIVE LOGIC PROGRAMMING AS ABDUCTIVE SEARCH
@@ Property / cites work: INDUCTIVE LOGIC PROGRAMMING AS ABDUCTIVE SEARCH / rank @@
+Normal rank
@@ Property / cites work @@
+Derivation Reduction of Metarules in Meta-interpretive Learning
+Normal rank
@@ Property / cites work @@
+Learning Explanatory Rules from Noisy Data
@@ Property / cites work: Learning Explanatory Rules from Noisy Data / rank @@
+Normal rank
@@ Property / cites work @@
+Logic program synthesis from incomplete specifications
+Normal rank
@@ Property / cites work @@
+Inductive synthesis of recursive logic programs: achievements and prospects
+Normal rank
@@ Property / cites work @@
+Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
+Normal rank
@@ Property / cites work @@
+Inductive Learning of Answer Set Programs
@@ Property / cites work: Inductive Learning of Answer Set Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230359
@@ Property / cites work: Q4230359 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed meta-interpretive learning of logic programs
+Normal rank
@@ Property / cites work @@
+Inductive logic programming
@@ Property / cites work: Inductive logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
+Normal rank
@@ Property / cites work @@
+Meta-interpretive learning from noisy images
@@ Property / cites work: Meta-interpretive learning from noisy images / rank @@
+Normal rank
@@ Property / cites work @@
+TopLog: ILP Using a Logic Program Declarative Bias
+Normal rank
@@ Property / cites work @@
+Meta-interpretive learning: application to grammatical inference
+Normal rank
@@ Property / cites work @@
+Foundations of inductive logic programming
@@ Property / cites work: Foundations of inductive logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5677085
@@ Property / cites work: Q5677085 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624681
@@ Property / cites work: Q5624681 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of the learnable
@@ Property / cites work: A theory of the learnable / rank @@
+Normal rank