Early History and Perspectives of Automated Deduction

With this talk we want to pay tribute to the late Professor Gerd Veenker who deserves the historic credit of initiating the formation of the German AI community. We present a summary of his scientific contributions in the context of the early approaches to theorem proving and, against this background, we point out future perspectives of Automated Deduction. Formal logic is still often looked upon as a kind of esoteric doctrine. Evert W. Beth 1958 The fundamental scientific progress lies in the area of logic and the cognitive sciences. Pierre Papon 2006

• Type: Conference
• Year: 2007
• Where: KI
• Authors: Wolfgang Bibel
• Keywords: Fundamental Scientific Progress, German AI Community, KI 2007, Professor Gerd Veenker