Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Christoph Goller
2000 – 2009
- 2000
[c6]
1990 – 1999
- 1999
- [b1]Christoph Goller: A connectionist approach for learning search-control heuristics for automated deduction systems. DISKI 206, Infix 1999, ISBN 978-3-89601-206-7, pp. I-XIII, 1-136
- [c5]Christoph Goller: Learning search-control heuristics for automated deduction systems with folding architecture networks. ESANN 1999: 45-50
- [c4]Christoph Goller, Marco Gori: Feature Extraction and Learning Vector Quantization for Data Structures. IIA/SOCO 1999
- 1997
- [j2]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
- [c3]Andreas Küchler, Christoph Goller: Inductive Learning in Symbolic Domains Using Structure-Driven Recurrent Neural Networks. KI 1996: 183-197
- 1995
- [c2]Alessandro Sperduti, Antonina Starita, Christoph Goller: Learning Distributed Representations for the Classification of Terms. IJCAI 1995: 509-517
- 1994
- [j1]Reinhold Letz, Klaus Mayr, Christoph Goller: Cotrolled Integration of the Cut Rule into Connection Tableaux Calculi. J. Autom. Reasoning 13(3): 297-337 (1994)
- [c1]Christoph Goller, Reinhold Letz, Klaus Mayr, Johann Schumann: SETHEO V3.2: Recent Developments - System Abstract. CADE 1994: 778-782
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:13 CEST by the dblp team