 | 2010 |
|---|
| 14 |       | Kurt Ammon:
Informal Concepts in Machines
CoRR abs/1005.0608: (2010) |
| 2009 |
|---|
| 13 | | Kurt Ammon:
Beyond Turing Machines
CoRR abs/0907.4100: (2009) |
| 1997 |
|---|
| 12 | | Kurt Ammon:
The Composition Heuristic.
Foundations of Computer Science: Potential - Theory - Cognition 1997: 437-444 |
| 11 | | Kurt Ammon:
An Automatic Proof of Gödel's Incompleteness Theorem.
Artif. Intell. 95(1): 203-207 (1997) |
| 1993 |
|---|
| 10 | | Kurt Ammon:
A Learning Procedure for Mathematics.
Ann. Math. Artif. Intell. 8(3-4): 407-423 (1993) |
| 9 | | Kurt Ammon:
An Automatic Proof of Gödel's Incompleteness Theorem.
Artif. Intell. 61(2): 291-306 (1993) |
| 1992 |
|---|
| 8 | | Kurt Ammon:
Some Experiments With a Learning Procedure.
AII 1992: 87-98 |
| 7 | | Kurt Ammon:
Automatic Proofs in Mathematical Logic and Analysis.
CADE 1992: 4-19 |
| 6 | | Kurt Ammon:
The SHUNYATA System.
CADE 1992: 681-685 |
| 1991 |
|---|
| 5 |  | Kurt Ammon:
Constructing Programs From Input-Output Pairs.
GWAI 1991: 238-242 |
| 1988 |
|---|
| 4 | | Kurt Ammon:
The Automatic Acquisition of Proof Methods.
AAAI 1988: 558-563 |
| 3 | | Kurt Ammon:
Discovering a Proof for the Fixed Point Theorem: A Case Study.
ECAI 1988: 613-618 |
| 2 | | Kurt Ammon,
Sebastian Stier:
Constructing Polygon Concepts from Line Drawings.
ECAI 1988: 663-665 |
| 1985 |
|---|
| 1 | | Kurt Ammon:
The Automatic Discovery of Concepts by Induction and Feedback: Towards a Theory of Intelligence.
ÖGAI 1985: 81-89 |
Data released under the ODC-BY 1.0 license — See also our legal information page