Schnittelimination in einem Teilsystem der einfachen Typenlogik (1968)
Doctoral advisor
Kurt Schütte, Helmuth Gericke
Notable students
Holger 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.
Leonhard WolfgangBibel (born on 28 October 1938 in Nuremberg) is a German computer scientist, mathematician and Professor emeritus at the Department of...
painter and printmaker WolfgangBibel (born 1938), German computer scientist and mathematician All pages with titles beginning with Bibel All pages with titles...
reasoning group of Technical University of Munich under the direction of WolfgangBibel, and now at Baden-Württemberg Cooperative State University in Stuttgart...
Johann Wolfgang von Goethe (28 August 1749 – 22 March 1832) was a German polymath and writer, who is widely regarded as the greatest and most influential...
2015). "Oral History of Andreas "Andy" Bechtolsheim" (PDF). Leonhard WolfgangBibel (2017), Reflexionen vor Reflexen - Memoiren eines Forschers (in German)...
he received the Humboldt Senior Scientist Award at the request of WolfgangBibel, which included a six-month stay at the Department of Computer Science...
of artificial intelligence goes hand in hand with the appointment of WolfgangBibel, who had been rejected by professors at the Technical University of...
community. EurAI was established in 1982. Founding president of EurAI was WolfgangBibel. The aim of EurAI is to promote the study, research and application...
typographer, and professor of the Academy of Fine Arts, Nuremberg WolfgangBibel (born 1938) professor emeritus at the Department of Computer Science...
Sciences Norman B. Anderson, CEO of the American Psychological Association WolfgangBibel, one of the founders of the research area of artificial intelligence...
founder of TRIUMF Rudolf Vrba, Holocaust survivor and pharmacologist WolfgangBibel, one of the founders of the research area of Artificial Intelligence...
Peter B. Andrews (2003) Harald Ganzinger (2004) Martin Davis (2005) WolfgangBibel (2006) Alan Bundy (2007) Edmund M. Clarke (2008) Deepak Kapur (2009)...
August 2007(2007-08-15) (aged 98) Freiburg, Germany Scientific career Thesis Über den Volta-Effekt (1932) Doctoral students WolfgangBibel Ivo Schneider...
Christoph Walther (1998). "Proof Analysis, Generalization and Reuse". In WolfgangBibel; Peter Schmitt (eds.). Automated Deduction - A Basis for Applications...
LNAI 01 1975 02 1976 03 1977 04 1979 05 0087 1980 Les Arcs, France WolfgangBibel, Robert Kowalski 06 0138 1982 New York, USA Donald W. Loveland 07 0170...
Hohenzollern Internetseite des „IBF Institut Berufsforschung Unternehmensplanung Medien e.V.“ Videocast Interview mit Oskar Prinz von Preußen auf BibelTV...
autodidact and voraciously read theological treatises, Greek mythology, Johann Wolfgang von Goethe, Gotthold Ephraim Lessing, Friedrich Schiller, and Friedrich...
Wolfgang Schoor (18 September 1926 – 28 January 2007) was a German composer, who wrote orchestral works, song cycles and chamber music and the music for...