Difference between revisions of "Gerd Veenker"
GerdIsenberg (talk | contribs) (Created page with "'''Home * People * Gerd Veenker''' '''Gerd Veenker''', (1936 - 1996)<br/> was a German mathematician, computer scientist, AI res...") |
GerdIsenberg (talk | contribs) |
||
| Line 14: | Line 14: | ||
* [[Gerd Veenker]] (ed.) ('''1975'''). ''Künstliche Intelligenzforschung in der BRD''. Institut für Informatik, Bonn (German) | * [[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) | * [[Gerd Veenker]] (ed.) ('''1976'''). ''Proc. des zweiten Treffens der KI-Fachgruppe''. Dortmund (German) | ||
| − | * [[Byoung-Tak Zhang]], [[Gerd Veenker]] ('''1991'''). ''[http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=170480&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D170480 Neural networks that teach themselves through genetic discovery of novel examples]''. [http://ieeexplore.ieee.org/xpl/conhome.jsp?punumber=1000500 IEEE International | + | ==1990 ...== |
| + | * [[Byoung-Tak Zhang]], [[Gerd Veenker]] ('''1991'''). ''[http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=170480&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D170480 Neural networks that teach themselves through genetic discovery of novel examples]''. [http://ieeexplore.ieee.org/xpl/conhome.jsp?punumber=1000500 IEEE IJCNN'91], [https://bi.snu.ac.kr/Publications/Conferences/International/IJCNN91.pdf pdf] | ||
| + | * [[Byoung-Tak Zhang]], [[Gerd Veenker]] ('''1991'''). ''Focused incremental learning for improved generalization with reduced training sets''. ICANN'91, [https://bi.snu.ac.kr/Publications/Conferences/International/ICANN'91.pdf pdf] | ||
==2000 ...== | ==2000 ...== | ||
* [[Mathematician#WolfgangBibel|Wolfgang Bibel]] ('''2006'''). ''The Beginnings of AI in Germany''. [https://dblp.org/db/journals/ki/ki20.html Künstliche Intelligenz, Band 20], [https://www.researchgate.net/profile/Wolfgang_Bibel/publication/265020403_The_Beginnings_of_AI_in_Germany/links/53fc63980cf2dca8ffff1825/The-Beginnings-of-AI-in-Germany.pdf pdf] | * [[Mathematician#WolfgangBibel|Wolfgang Bibel]] ('''2006'''). ''The Beginnings of AI in Germany''. [https://dblp.org/db/journals/ki/ki20.html Künstliche Intelligenz, Band 20], [https://www.researchgate.net/profile/Wolfgang_Bibel/publication/265020403_The_Beginnings_of_AI_in_Germany/links/53fc63980cf2dca8ffff1825/The-Beginnings-of-AI-in-Germany.pdf pdf] | ||
Latest revision as of 11:55, 23 August 2018
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.
Contents
Selected Publications
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
References
- ↑ Bericht des Instituts für Informatik - Rheinische Friedrich-Wilhelms-Universität Bonn - Vorwort by Marek Karpinski, 1998
- ↑ 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
- ↑ Gerd Veenker (1965). Ein Programm zur Lösung von Schachaufgaben. Elektronische Rechenanlagen, Vol. 7, No. 1 (German)
- ↑ dblp: Gerd Veenker
