Machine learning of higher-order programs

DOI10.2307/2275402MaRDI QIDQ4302347zbMATH OpenOpenAlexFDO

Authors Sanjay Jain, Mandayam Suraj, Ganesh R. Baliga, John Case

Publication date 15 August 1994

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275402

zbMATH Keywords

identificationcomputable functionsrecursive functionslearning machinelearning powergenerator programshigher- order programslimiting programs

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Applications of computability and recursion theory (03D80)

Recommendations

• scientific article; zbMATH DE number 1678394
• ON LEARNING LIMITING PROGRAMS
• Learning with the knowledge of an upper bound on program size
• Parsimony hierarchies for inductive inference
• Learning higher-order logic programs

Cites work

• scientific article; zbMATH DE number 3857078 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3387326 (Why is no real title available?)
• A Machine-Independent Theory of the Complexity of Recursive Functions
• Comparison of identification criteria for machine inductive inference
• Language identification in the limit
• ON LEARNING LIMITING PROGRAMS
• On degrees of unsolvability
• Periodicity in generations of automata
• Research in the theory of inductive inference by GDR mathematicians - A survey
• Toward a mathematical theory of inductive inference

Cited in

(10)

• Learning higher-order logic programs
• ON LEARNING LIMITING PROGRAMS
• A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs
• Learning correction grammars
• Automated programming, symbolic computation, machine learning: my personal view
• scientific article; zbMATH DE number 1678394 (Why is no real title available?)
• Machine induction without revolutionary paradigm shifts
• On the classification of recursive languages
• Vacillatory and BC learning on noisy data
• Inferring answers to queries

This page was built for publication: Machine learning of higher-order programs

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