Some classes of Prolog programs inferable from positive data (Q1575466): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive inference of formal languages from positive data
+Normal rank
@@ Property / cites work @@
+Reasoning about termination of pure Prolog programs
+Normal rank
@@ Property / cites work @@
+Q3143039
@@ Property / cites work: Q3143039 / rank @@
+Normal rank
@@ Property / cites work @@
+Toward a mathematical theory of inductive inference
+Normal rank
@@ Property / cites work @@
+Q4386935
@@ Property / cites work: Q4386935 / rank @@
+Normal rank
@@ Property / cites work @@
+Language identification in the limit
@@ Property / cites work: Language identification in the limit / rank @@
+Normal rank
@@ Property / cites work @@
+A class of prolog programs inferable from positive data
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126929
@@ Property / cites work: Q3126929 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4202913
@@ Property / cites work: Q4202913 / rank @@
+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 @@
+Termination proofs for logic programs
@@ Property / cites work: Termination proofs for logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive inference of monotonic formal systems from positive data
+Normal rank
@@ Property / cites work @@
+Q4844167
@@ Property / cites work: Q4844167 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4267821
@@ Property / cites work: Q4267821 / rank @@
+Normal rank