The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kurt Ammon: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kurt Ammon
    The Automatic Acquisition of Proof Methods. [Citation Graph (0, 0)][DBLP]
    AAAI, 1988, pp:558-563 [Conf]
  2. Kurt Ammon
    Some Experiments With a Learning Procedure. [Citation Graph (0, 0)][DBLP]
    AII, 1992, pp:87-98 [Conf]
  3. Kurt Ammon
    The Composition Heuristic. [Citation Graph (0, 0)][DBLP]
    Foundations of Computer Science: Potential - Theory - Cognition, 1997, pp:437-444 [Conf]
  4. Kurt Ammon
    Automatic Proofs in Mathematical Logic and Analysis. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:4-19 [Conf]
  5. Kurt Ammon
    The SHUNYATA System. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:681-685 [Conf]
  6. Kurt Ammon
    Discovering a Proof for the Fixed Point Theorem: A Case Study. [Citation Graph (0, 0)][DBLP]
    ECAI, 1988, pp:613-618 [Conf]
  7. Kurt Ammon, Sebastian Stier
    Constructing Polygon Concepts from Line Drawings. [Citation Graph (0, 0)][DBLP]
    ECAI, 1988, pp:663-665 [Conf]
  8. Kurt Ammon
    Constructing Programs From Input-Output Pairs. [Citation Graph (0, 0)][DBLP]
    GWAI, 1991, pp:238-242 [Conf]
  9. Kurt Ammon
    The Automatic Discovery of Concepts by Induction and Feedback: Towards a Theory of Intelligence. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1985, pp:81-89 [Conf]
  10. Kurt Ammon
    An Automatic Proof of Gödel's Incompleteness Theorem. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1993, v:61, n:2, pp:291-306 [Journal]
  11. Kurt Ammon
    An Automatic Proof of Gödel's Incompleteness Theorem. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1997, v:95, n:1, pp:203-207 [Journal]
  12. Kurt Ammon
    A Learning Procedure for Mathematics. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:407-423 [Journal]

  13. Beyond Turing Machines [Citation Graph (, )][DBLP]


  14. Informal Concepts in Machines [Citation Graph (, )][DBLP]


Search in 0.287secs, Finished in 0.288secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002