Anomaly hierarchies of mechanized inductive inference

DOI10.1145/800133.804360zbMATH Open1283.03033OpenAlexW1995536457MaRDI QIDQ5402571FDOQ5402571

Authors:

Publication date: 14 March 2014

Published in: Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/800133.804360

Mathematics Subject Classification ID

Computational learning theory (68Q32) Mechanization of proofs and logical operations (03B35)

Cited In (3)

• Aggregating inductive expertise on partial recursive functions
• Secretive interaction. Players and strategies
• Comparison of identification criteria for machine inductive inference

This page was built for publication: Anomaly hierarchies of mechanized inductive inference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5402571)