Mind change complexity of learning logic programs (Q1603595): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+General inductive inference types based on linearly-ordered sets
+Normal rank
@@ Property / cites work @@
+Finding patterns common to a set of strings
@@ Property / cites work: Finding patterns common to a set of strings / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive inference of formal languages from positive data
+Normal rank
@@ Property / cites work @@
+ELEMENTARY FORMAL SYSTEMS AND FORMAL LANGUAGES-SIMPLE FORMAL SYSTEMS
+Normal rank
@@ Property / cites work @@
+Learning elementary formal systems
@@ Property / cites work: Learning elementary formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Comparison of identification criteria for machine inductive inference
+Normal rank
@@ Property / cites work @@
+Pac-learning non-recursive Prolog clauses
@@ Property / cites work: Pac-learning non-recursive Prolog clauses / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386935
@@ Property / cites work: Q4386935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386936
@@ Property / cites work: Q4386936 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order \(jk\)-clausal theories are PAC-learnable
+Normal rank
@@ Property / cites work @@
+On the role of procrastination in machine learning
+Normal rank
@@ Property / cites work @@
+Language identification in the limit
@@ Property / cites work: Language identification in the limit / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary formal systems, intrinsic complexity, and procrastination
+Normal rank
@@ Property / cites work @@
+A class of prolog programs inferable from positive data
+Normal rank
@@ Property / cites work @@
+Q4843403
@@ Property / cites work: Q4843403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / 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 @@
+Foundations of inductive logic programming
@@ Property / cites work: Foundations of inductive logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive inference of monotonic formal systems from positive data
+Normal rank
@@ Property / cites work @@
+Rich classes inferable from positive data: Length-bounded elementary formal systems
+Normal rank
@@ Property / cites work @@
+Monadic Elementary Formal Systems
@@ Property / cites work: Monadic Elementary Formal Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized notions of mind change complexity
@@ Property / cites work: Generalized notions of mind change complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4013550
@@ Property / cites work: Q4013550 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4267821
@@ Property / cites work: Q4267821 / rank @@
+Normal rank