Kurt Ammon

According to our database, Kurt Ammon authored at least 17 papers between 1985 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

A Holistic Logic for Mathematical Reasoning.

Kurt Ammon

Int. J. Unconv. Comput., 2020

2016

Informal Physical Reasoning Processes.

Kurt Ammon

CoRR, 2016

2013

An Effective Procedure for Computing "Uncomputable" Functions

Kurt Ammon

CoRR, 2013

2010

Informal Concepts in Machines

Kurt Ammon

CoRR, 2010

2009

Beyond Turing Machines

Kurt Ammon

CoRR, 2009

1997

An Automatic Proof of Gödel's Incompleteness Theorem.

Kurt Ammon

Artif. Intell., 1997

The Composition Heuristic.

Kurt Ammon

Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

1993

A Learning Procedure for Mathematics.

Kurt Ammon

Ann. Math. Artif. Intell., 1993

1992

The SHUNYATA System.

Kurt Ammon

Proceedings of the Automated Deduction, 1992

Automatic Proofs in Mathematical Logic and Analysis.

Kurt Ammon

Proceedings of the Automated Deduction, 1992

Some Experiments With a Learning Procedure.

Kurt Ammon

Proceedings of the Analogical and Inductive Inference, 1992

1991

Constructing Programs From Input-Output Pairs.

Kurt Ammon

Proceedings of the GWAI-91, 1991

1988

Constructing Polygon Concepts from Line Drawings.

Kurt Ammon, Sebastian Stier

Proceedings of the 8th European Conference on Artificial Intelligence, 1988

Discovering a Proof for the Fixed Point Theorem: A Case Study.

Kurt Ammon

Proceedings of the 8th European Conference on Artificial Intelligence, 1988

The Automatic Acquisition of Proof Methods.

Kurt Ammon

Proceedings of the 7th National Conference on Artificial Intelligence, 1988

1987

The automatic development of concepts and methods.

Kurt Ammon

PhD thesis, 1987

1985

The Automatic Discovery of Concepts by Induction and Feedback: Towards a Theory of Intelligence.

Kurt Ammon

Proceedings of the Österreichische Artificial Intelligence-Tagung, 1985