Kurt Ammon

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