Gerd Veenker

Home * People * Gerd Veenker

Gerd Veenker, (1936 - 1996)

was a German mathematician, computer scientist, AI researcher, and professor for CS and AI at University of Bonn [1]. He received his Ph.D. in 1967 on first-order theorem proving at University of Tübingen, where his advisors include Karl Longin Zeller. Already during the early 60s in Tübingen, along with his fellow Frieder Schwenkel, Gerd Veenker developed a particular interest in non-numeric computation such as game playing and theorem proving [2]. In 1965, he published a paper on a chess program to find a mate in two or three moves [3], but his focus remained on theorem proving where his scientific contributions are in the field of automatic deduction.

Selected Publications#

[4]

1965 …#

• Gerd Veenker (1965). Ein Programm zur Lösung von Schachaufgaben. Elektronische Rechenanlagen, Vol. 7, No. 1 (German)
• Gerd Veenker (1967). Beweisverfahren für den Prädikatenkalkül. Ph.D. thesis, University of Tübingen, advisor Karl Longin Zeller (German)
• Gerd Veenker (1967). Beweisalgorithmen für die Prädikatenlogik. Computing, Vol. 2, No. 3 (German)

1970 …#

• Geerd-Rüdiger Hoffmann, Gerd Veenker (1971). The unit-clause proof procedure with equality. Computing, Vol. 7, Nos. 1-2
• Gerd Veenker (ed.) (1975). Künstliche Intelligenzforschung in der BRD. Institut für Informatik, Bonn (German)
• Gerd Veenker (ed.) (1976). Proc. des zweiten Treffens der KI-Fachgruppe. Dortmund (German)

1990 …#

• Byoung-Tak Zhang, Gerd Veenker (1991). Neural networks that teach themselves through genetic discovery of novel examples. IEEE IJCNN'91, pdf
• Byoung-Tak Zhang, Gerd Veenker (1991). Focused incremental learning for improved generalization with reduced training sets. ICANN'91, pdf

2000 …#

• Wolfgang Bibel (2006). The Beginnings of AI in Germany. Künstliche Intelligenz, Band 20, pdf
• Wolfgang Bibel (2007). Early History and Perspectives of Automated Deduction. in Joachim Hertzberg, Michael Beetz, Roman Englert (Eds.) (2007). KI 2007: Advances in Artificial Intelligence: 30th Annual German Conference. LNAI 4467, Springer, pdf

External Links#

• The Mathematics Genealogy Project - Gerd Veenker

References#

1. ↑ Bericht des Instituts für Informatik - Rheinische Friedrich-Wilhelms-Universität Bonn - Vorwort by Marek Karpinski, 1998
2. ↑ Wolfgang Bibel (2007). Early History and Perspectives of Automated Deduction. in Joachim Hertzberg, Michael Beetz, Roman Englert (Eds.) (2007). KI 2007: Advances in Artificial Intelligence: 30th Annual German Conference. LNAI 4467, Springer, pdf
3. ↑ Gerd Veenker (1965). Ein Programm zur Lösung von Schachaufgaben. Elektronische Rechenanlagen, Vol. 7, No. 1 (German)
4. ↑ dblp: Gerd Veenker

Up one level