The Automatic Discovery of Concepts by Induction and Feedback: Towards a Theory of Intelligence. - Kurt Ammon (ÖGAI, 1985)

The automatic development of concepts and methods. - Kurt Ammon (1987)

The Automatic Acquisition of Proof Methods. - Kurt Ammon (AAAI, 1988)

Discovering a Proof for the Fixed Point Theorem: A Case Study. - Kurt Ammon (ECAI, 1988)

Constructing Polygon Concepts from Line Drawings. - Kurt Ammon; Sebastian Stier (ECAI, 1988)

Constructing Programs From Input-Output Pairs. - Kurt Ammon (GWAI, 1991)

Some Experiments With a Learning Procedure. - Kurt Ammon (AII, 1992)

Automatic Proofs in Mathematical Logic and Analysis. - Kurt Ammon (CADE, 1992)

The SHUNYATA System. - Kurt Ammon (CADE, 1992)

A Learning Procedure for Mathematics. - Kurt Ammon (Ann. Math. Artif. Intell., 1993)

The Composition Heuristic. - Kurt Ammon (Foundations of Computer Science: Potential - Theory - Cognition, 1997)

An Automatic Proof of Gödel's Incompleteness Theorem. - Kurt Ammon (Artif. Intell., 1997)

Beyond Turing Machines - Kurt Ammon (CoRR, 2009)

Informal Concepts in Machines - Kurt Ammon (CoRR, 2010)

An Effective Procedure for Computing "Uncomputable" Functions - Kurt Ammon (CoRR, 2013)

Informal Physical Reasoning Processes. - Kurt Ammon (CoRR, 2016)

A Holistic Logic for Mathematical Reasoning. - Kurt Ammon (Int. J. Unconv. Comput., 2020)