| 2000 |
|---|
| 8 | | Christoph Goller,
J. Löning,
T. Will,
W. Wolff:
Automatic Document Classification - A thorough Evaluation of various Methods.
ISI 2000: 145-162 |
| 1999 |
|---|
| 7 | EE | Christoph Goller:
Learning search-control heuristics for automated deduction systems with folding architecture networks.
ESANN 1999: 45-50 |
| 6 | | Christoph Goller,
Marco Gori:
Feature Extraction and Learning Vector Quantization for Data Structures.
IIA/SOCO 1999 |
| 1997 |
|---|
| 5 | | Max Moser,
Ortrun Ibens,
Reinhold Letz,
Joachim Steinbach,
Christoph Goller,
Johann Schumann,
Klaus Mayr:
SETHEO and E-SETHEO - The CADE-13 Systems.
J. Autom. Reasoning 18(2): 237-246 (1997) |
| 1996 |
|---|
| 4 | | Andreas Küchler,
Christoph Goller:
Inductive Learning in Symbolic Domains Using Structure-Driven Recurrent Neural Networks.
KI 1996: 183-197 |
| 1995 |
|---|
| 3 | | Alessandro Sperduti,
Antonina Starita,
Christoph Goller:
Learning Distributed Representations for the Classification of Terms.
IJCAI 1995: 509-517 |
| 1994 |
|---|
| 2 | | Christoph Goller,
Reinhold Letz,
Klaus Mayr,
Johann Schumann:
SETHEO V3.2: Recent Developments - System Abstract.
CADE 1994: 778-782 |
| 1 | | Reinhold Letz,
Klaus Mayr,
Christoph Goller:
Cotrolled Integration of the Cut Rule into Connection Tableaux Calculi.
J. Autom. Reasoning 13(3): 297-337 (1994) |
