His most outstanding scientific contribution was his connection method, which allows logical conclusions to be drawn automatically in a very compact way.

Before his studies, he had to demonstrate industrial experience, which is why he completed an internship at a large power plant in Franken.

The first year of his studies was a challenge for Bibel, as the content was unknown to him, unlike his fellow students who came from science schools.

From 1964 to 1966, he was then a scientific assistant at the Max Planck Institute for Physics and Astrophysics in Munich, then headed by Werner Heisenberg.

The solution already found, the suddenly accepted professorship of Mittelstaedt and the distance to his girlfriend led to his resignation after a short time.

In 1968 he received his doctorate with cum laude in mathematical logic under the supervision of Kurt Schütte from LMU.

Surprisingly, however, Friedrich Ludwig Bauer, who headed the institute at the time, vetoed his habilitation, which meant he was denied eligibility, which was unusual given the accomplishments of Bibel.

During this period, he was appointed as a lecturer by the Department of Computer Science at the Bundeswehr University Munich from 1975 to 1976.

The chairman of the habilitation commission was Karl Heinz Helwig, who appointed reviewers who had no knowledge of his subject, automated theorem proving.

These included assessments by Bruno Buchberger and Woody Bledsoe, but in 1977 his application was rejected with 31 dissenting votes and 3 abstentions.

An application for inspection of documents also failed, which is why he filed a lawsuit, in which he proved errors in the content of the reports.

In the same year in which the habilitation failed, the German Research Foundation (DFG), at the request of the Bibel, supported the project "Use of Evidence Procedures in Programming".

Andreas von Bechtolsheim was also bored and angry from his studies, which is why he moved to Carnegie Mellon University.

On October 1, 1988 he became Professor of Intellectics at then Department of Computer Science of the Technische Universität Darmstadt.

For the academic year 1991/1992 he took over the office as Dean of the Department of Computer Science of the TU Darmstadt.

In his time, he also built up his research group and made the TU Darmstadt one of the leading universities for artificial intelligence worldwide.

The most outstanding scientific project was the National Priority Programme Deduction, funded by the German Research Foundation (DFG).

At the meeting it was also decided to set up a subcommittee for artificial intelligence in the technical committee Cognitive Systems in the Gesellschaft für Informatik, to which Bibel belonged as a member since 1975.

The chairman was Hans-Hellmut Nagel, who at that time was the only professor on the highest level who confessed to artificial intelligence.

In 1982, together with Jörg Siekmann, he founded the two-week KI Spring School (KIFS), as the research results had not yet reached the students.

Bibel also procured several research projects for the TU Darmstadt, including the national priority program Deduction, which was approved in autumn 1991.

Bibel's influence at that time also led Japan to launch a research program for a whole decade, the Fifth Generation Computer Systems (FGCS).

[3] The research programme caused a great stir, which is why personalities from the world of politics attended the conference in Japan in 1979.

At the same time, the German Research Center for Artificial Intelligence was founded and the Institute for Application-Oriented Knowledge Processing (IAW) was established in Baden-Wuerttemberg.