Concepedia

Christoph Goller

CG

5

Publications

871

Citations

5

H-Index

1994

Active since

Affiliations

Technical University of Munich(Current)

Christoph Goller is an author at Technical University of Munich specializing in computer science, automated reasoning, and knowledge discovery.

Top concepts

EngineeringComputer ScienceAutomated ReasoningKnowledge DiscoveryVerificationFormal MethodsRobot LearningSocial SciencesMachine LearningCognitive Science

Publications per year

1994–2002

5

Publications

5

Learning task-dependent distributed representations by backpropagation through structure

Christoph Goller, Andreas Küchler · Proceedings of International Conference on Neural Networks (ICNN'96) · 2002 · 592 citations

Structured Prediction, Engineering, Machine Learning +19

Controlled integration of the cut rule into connection tableau calculi

Reinhold Letz, Klaus Mayr, Christoph Goller · Journal of Automated Reasoning · 1994 · 153 citations

Connection Tableau Calculi

SETHEO and E-SETHEO - The CADE-13 Systems

Max Moser, Ortrun Ibens, Reinhold Letz et al. · Journal of Automated Reasoning · 1997 · 82 citations

Learning distributed representations for the classification of terms

Alessandro Sperduti, Antonina Starita, Christoph Goller · International Joint Conference on Artificial Intelligence · 1995 · 29 citations

Learning from Previous Proof Experience: A Survey

Jörg Denzinger, Matthias Fuchs, Christoph Goller et al. · 1999 · 15 citations

Artificial Intelligence, Engineering, Automated Reasoning +14

Rows per page

1–5 of 5