scientific article; zbMATH DE number 3922017

zbMATH Open0576.68072MaRDI QIDQ3696552FDOQ3696552

Authors: Kurt Ammon 

Publication date: 1985

Title of this publication is not available (Why is that?)

Recommendations

• A framework for a theory of automated learning
• Induction, algorithmic learning theory, and philosophy
• Inductive Logic Programming
• Intuitive cognition and the formation of theories
• scientific article; zbMATH DE number 1531965
• Toward a theory of intelligence
• Self-organization of conceptual generalities and pattern-directed learning

zbMATH Keywords

concept formationknowledge acquisitioncognitive developmentholistic logicautomatic analysis of mathematical proofsautomatic discovery of heuristic proof strategies

Mathematics Subject Classification ID

Cited In (1)

• Machine learning and information theory concepts towards an AI mathematician

This page was built for publication:

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