Learning efficient logic programs (Q2425246): Difference between revisions

@@ Property / author @@
-Stephen H. Muggleton
@@ Property / author: Stephen H. Muggleton / rank @@
-Normal rank
@@ Property / author @@
+Stephen H. Muggleton
@@ Property / author: Stephen H. Muggleton / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GOLEM
@@ Property / describes a project that uses: GOLEM / 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 @@
+SWI-Prolog
@@ Property / describes a project that uses: SWI-Prolog / 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-018-5712-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2395903764
@@ Property / OpenAlex ID: W2395903764 / rank @@
+Normal rank
@@ Property / cites work @@
+Toward a mathematical theory of inductive inference
+Normal rank
@@ Property / cites work @@
+Q4434167
@@ Property / cites work: Q4434167 / rank @@
+Normal rank
@@ Property / cites work @@
+Automating string processing in spreadsheets using input-output examples
+Normal rank
@@ Property / cites work @@
+Q2717791
@@ Property / cites work: Q2717791 / rank @@
+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 @@
+Randomness conservation inequalities; information and independence in mathematical theories
+Normal rank
@@ Property / cites work @@
+Q3863048
@@ Property / cites work: Q3863048 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4398828
@@ Property / cites work: Q4398828 / rank @@
+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 @@
+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 @@
+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 @@
+Transformation of logic programs: Foundations and techniques
+Normal rank
@@ Property / cites work @@
+Q5624681
@@ Property / cites work: Q5624681 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5677085
@@ Property / cites work: Q5677085 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843187
@@ Property / cites work: Q4843187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3718124
@@ Property / cites work: Q3718124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4844167
@@ Property / cites work: Q4844167 / rank @@
+Normal rank
@@ Property / cites work @@
+A Methodology for LISP Program Construction from Examples
+Normal rank
@@ Property / cites work @@
+SWI-Prolog
@@ Property / cites work: SWI-Prolog / rank @@
+Normal rank