#### Filter Results:

- Full text PDF available (5)

#### Publication Year

1968

2016

- This year (0)
- Last 5 years (2)
- Last 10 years (4)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Kurt Ammon
- AAAI
- 1988

The SHUNYATA program constructs proof methods by analyzing proofs of simple theorems in mathematical theories such as group theory and uses these methods to form prooh of new theorems in the same or in other theories. Such methods are capable of generating proo& of theorems whose complexity represents the state of the art in automated theorem proving. They… (More)

- Kurt Ammon
- Artif. Intell.
- 1993

- Kurt Ammon
- CADE
- 1992

- Kurt Ammon
- 1987

- Kurt Ammon
- GWAI
- 1991

- Kurt Ammon, Sebastian Stier
- ECAI
- 1988

- Kurt Ammon
- ECAI
- 1988

- Kurt Ammon
- Annals of Mathematics and Artificial Intelligence
- 1993

This paper introduces a learning procedure whose input is a set of data and a set of axioms giving the domains and ranges of elementary functions including predicates. It repeatedly applies these axioms to the input data, which yields more and more complex compositions of the functions. These compositions are used to form quantified propositions, set… (More)

- K J Ammon, N M Schroll
- Nursing outlook
- 1988

- Kurt Ammon
- ÖGAI
- 1985