Comparison of identification criteria for machine inductive inference (Q585192): Difference between revisions

@@ Property / author @@
+Sumit K. Garg
@@ Property / author: Sumit K. Garg / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D10
@@ Property / Mathematics Subject Classification ID: 03D10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D15
@@ Property / Mathematics Subject Classification ID: 03D15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D20
@@ Property / Mathematics Subject Classification ID: 03D20 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+3829881
@@ Property / zbMATH DE Number: 3829881 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+identification
@@ Property / zbMATH Keywords: identification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+inductive inference
@@ Property / zbMATH Keywords: inductive inference / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+anomalies in programs
@@ Property / zbMATH Keywords: anomalies in programs / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+tradeoff results
@@ Property / zbMATH Keywords: tradeoff results / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+inherent relative computational complexity
@@ Property / zbMATH Keywords: inherent relative computational complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+philosophy of science
@@ Property / zbMATH Keywords: philosophy of science / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+recursive function theory
@@ Property / zbMATH Keywords: recursive function theory / 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.1016/0304-3975(83)90061-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2018722248
@@ Property / OpenAlex ID: W2018722248 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5670562
@@ Property / cites work: Q5670562 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685065
@@ Property / cites work: Q5685065 / rank @@
+Normal rank
@@ Property / cites work @@
+Toward a mathematical theory of inductive inference
+Normal rank
@@ Property / cites work @@
+A Machine-Independent Theory of the Complexity of Recursive Functions
+Normal rank
@@ Property / cites work @@
+On the size of machines
@@ Property / cites work: On the size of machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q5183082
@@ Property / cites work: Q5183082 / rank @@
+Normal rank
@@ Property / cites work @@
+Periodicity in generations of automata
@@ Property / cites work: Periodicity in generations of automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3704910
@@ Property / cites work: Q3704910 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4300060
@@ Property / cites work: Q4300060 / rank @@
+Normal rank
@@ Property / cites work @@
+Anomaly hierarchies of mechanized inductive inference
+Normal rank
@@ Property / cites work @@
+Q3930633
@@ Property / cites work: Q3930633 / rank @@
+Normal rank
@@ Property / cites work @@
+Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
+Normal rank
@@ Property / cites work @@
+Some decidability results on grammatical inference and complexity
+Normal rank
@@ Property / cites work @@
+Q4094858
@@ Property / cites work: Q4094858 / 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 @@
+Q4145699
@@ Property / cites work: Q4145699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585020
@@ Property / cites work: Q5585020 / rank @@
+Normal rank
@@ Property / cites work @@
+Research in the theory of inductive inference by GDR mathematicians - A survey
+Normal rank
@@ Property / cites work @@
+Classes of computable functions defined by bounds on computation
+Normal rank
@@ Property / cites work @@
+Some natural properties of strong-identification in inductive inference
+Normal rank
@@ Property / cites work @@
+Q4153600
@@ Property / cites work: Q4153600 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5332197
@@ Property / cites work: Q5332197 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4096931
@@ Property / cites work: Q4096931 / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel numberings of partial recursive functions
@@ Property / cites work: Gödel numberings of partial recursive functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5656753
@@ Property / cites work: Q5656753 / rank @@
+Normal rank
@@ Property / cites work @@
+The Power of Pluralism for Automatic Program Synthesis
+Normal rank
@@ Property / cites work @@
+Mechanism, mentalism, and metamathematics. An essay on finitism
+Normal rank
@@ Property / cites work @@
+Q4170707
@@ Property / cites work: Q4170707 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:585192