Wolfgang Bibel

Wolfgang Bibel
At the 2006 Federated Logic Conference
Born1938
EducationLMU Munich
Scientific career
InstitutionsTechnische Universität Darmstadt
Thesis Schnittelimination in einem Teilsystem der einfachen Typenlogik  (1968)
Doctoral advisorKurt Schütte, Helmuth Gericke
Notable studentsHolger H. Hoos

Leonhard Wolfgang Bibel (born on 28 October 1938[1] in Nuremberg) is a German computer scientist, mathematician and Professor emeritus at the Department of Computer Science of the Technische Universität Darmstadt. He was one of the founders of the research area of artificial intelligence in Germany and Europe and has been named as one of the ten most important researchers in German artificial intelligence history by the Gesellschaft für Informatik. Bibel established the necessary institutions, conferences and scientific journals and promoted the necessary research programs to establish the field of artificial intelligence.

Bibel has worked in the fields of automated deduction, knowledge representation, architecture of deductive systems and inference, planning, learning, program synthesis, as well as on topics concerning the implications of AI technology for society. His most outstanding scientific contribution was his connection method, which allows logical conclusions to be drawn automatically in a very compact way. Bibel received the 2006 Herbrand Award for Distinguished Contributions to Automated Reasoning.