Learning higher-order logic programs (Q2203320): Difference between revisions

@@ 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 / describes a project that uses @@
+Metaopt
@@ Property / describes a project that uses: Metaopt / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2992216954
@@ Property / OpenAlex ID: W2992216954 / rank @@
+Normal rank
@@ Property / cites work @@
+Top-down induction of first-order logical decision trees
+Normal rank
@@ Property / cites work @@
+Occam's razor
@@ Property / cites work: Occam's razor / rank @@
+Normal rank
@@ Property / cites work @@
+Learning efficient logic programs
@@ Property / cites work: Learning efficient logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Derivation Reduction of Metarules in Meta-interpretive Learning
+Normal rank
@@ Property / cites work @@
+A model building framework for answer set programming with external computations
+Normal rank
@@ Property / cites work @@
+Inductive synthesis of recursive logic programs: achievements and prospects
+Normal rank
@@ Property / cites work @@
+Example-directed synthesis: a type-theoretic interpretation
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Automating string processing in spreadsheets using input-output examples
+Normal rank
@@ Property / cites work @@
+Completing causal networks by meta-level abduction
+Normal rank
@@ Property / cites work @@
+Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
+Normal rank
@@ Property / cites work @@
+Q4806966
@@ Property / cites work: Q4806966 / rank @@
+Normal rank
@@ Property / cites work @@
+A Deductive Approach to Program Synthesis
@@ Property / cites work: A Deductive Approach to Program Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4398828
@@ Property / cites work: Q4398828 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed meta-interpretive learning of logic programs
+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 @@
+Meta-interpretive learning: application to grammatical inference
+Normal rank
@@ Property / cites work @@
+Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
+Normal rank
@@ Property / cites work @@
+Interactive concept-learning and constructive induction by analogy
+Normal rank
@@ Property / cites work @@
+The appropriateness of predicate invention as bias shift operation in ILP
+Normal rank
@@ Property / cites work @@
+SWI-Prolog
@@ Property / cites work: SWI-Prolog / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q126590863
@@ Property / Wikidata QID: Q126590863 / rank @@
+Normal rank