dblp.uni-trier.dewww.uni-trier.de

Kurt Ammon

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1997
12EEKurt Ammon: The Composition Heuristic. Foundations of Computer Science: Potential - Theory - Cognition 1997: 437-444
11EEKurt 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

Coauthor Index

1Sebastian Stier [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)