Early History and Perspectives of Automated Deduction

  • Authors:

  • Wolfgang Bibel

  • Affiliations:

  • Darmstadt University of Technology, Also affiliated with the University of British Columbia,

  • Venue:
  • KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.