| |
| 1997 | ||
|---|---|---|
| 12 | EE | Kurt Ammon: The Composition Heuristic. Foundations of Computer Science: Potential - Theory - Cognition 1997: 437-444 |
| 11 | EE | 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 | |
| 1 | Sebastian Stier | [2] |