Kurt Ammon

Publication Activity (10 Years)

Years Active: 1985-2020
Publications (10 Years): 2

Top Topics

Abductive Reasoning

Mathematical Proofs

Reasoning Processes

Top Venues

Int. J. Unconv. Comput.

University of Hamburg, Germany (PHD)

Education History

University of Hamburg, Germany

PHD

Publications

Kurt Ammon
A Holistic Logic for Mathematical Reasoning. Int. J. Unconv. Comput. 15 (4) (2020)
Kurt Ammon
Informal Physical Reasoning Processes. CoRR (2016)
Kurt Ammon
An Effective Procedure for Computing "Uncomputable" Functions CoRR (2013)
Kurt Ammon
Informal Concepts in Machines CoRR (2010)
Kurt Ammon
Beyond Turing Machines CoRR (2009)
Kurt Ammon
The Composition Heuristic. Foundations of Computer Science: Potential - Theory - Cognition (1997)
Kurt Ammon
An Automatic Proof of Gödel's Incompleteness Theorem. Artif. Intell. 95 (1) (1997)
Kurt Ammon
A Learning Procedure for Mathematics. Ann. Math. Artif. Intell. 8 (3-4) (1993)
Kurt Ammon
An Automatic Proof of Gödel's Incompleteness Theorem. Artif. Intell. 61 (2) (1993)
Kurt Ammon
Some Experiments With a Learning Procedure. AII (1992)
Kurt Ammon
The SHUNYATA System. CADE (1992)
Kurt Ammon
Automatic Proofs in Mathematical Logic and Analysis. CADE (1992)
Kurt Ammon
Constructing Programs From Input-Output Pairs. GWAI (1991)
Kurt Ammon, Sebastian Stier
Constructing Polygon Concepts from Line Drawings. ECAI (1988)
Kurt Ammon
The Automatic Acquisition of Proof Methods. AAAI (1988)
Kurt Ammon
Discovering a Proof for the Fixed Point Theorem: A Case Study. ECAI (1988)
Kurt Ammon
The Automatic Discovery of Concepts by Induction and Feedback: Towards a Theory of Intelligence. ÖGAI (1985)