25,161
edits
Changes
Created page with "'''Home * People * Gerd Veenker''' '''Gerd Veenker''', (1936 - 1996)<br/> was a German mathematician, computer scientist, AI res..."
'''[[Main Page|Home]] * [[People]] * Gerd Veenker'''
'''Gerd Veenker''', (1936 - 1996)<br/>
was a German mathematician, computer scientist, [[Artificial Intelligence|AI]] researcher, and professor for CS and AI at [https://en.wikipedia.org/wiki/University_of_Bonn University of Bonn] <ref>[http://theory.cs.uni-bonn.de/Zope/bericht/Vorwort/ Bericht des Instituts für Informatik - Rheinische Friedrich-Wilhelms-Universität Bonn - Vorwort] by [http://theory.cs.uni-bonn.de/~marek/ Marek Karpinski], 1998</ref>. He received his Ph.D. in 1967 on [https://en.wikipedia.org/wiki/First-order_logic first-order] [https://en.wikipedia.org/wiki/Automated_theorem_proving theorem proving] at [https://en.wikipedia.org/wiki/University_of_T%C3%BCbingen University of Tübingen], where his advisors include [[Mathematician#KLZeller|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 <ref>[[Mathematician#WolfgangBibel|Wolfgang Bibel]] ('''2007'''). ''Early History and Perspectives of Automated Deduction''. in [[Mathematician#JHertzberg|Joachim Hertzberg]], [[Mathematician#MBeetz|Michael Beetz]], [[Mathematician#REnglert|Roman Englert]] (Eds.) ('''2007'''). ''[http://www.springer.com/us/book/9783540745648 KI 2007: Advances in Artificial Intelligence: 30th Annual German Conference]''. [https://en.wikipedia.org/wiki/Lecture_Notes_in_Computer_Science LNAI] 4467, [https://en.wikipedia.org/wiki/Springer_Science%2BBusiness_Media Springer], [http://www.intellektik.de/resources/OsnabrueckBuchfassung.pdf pdf]</ref>. In 1965, he published a paper on a chess program to [[Mate Search|find a mate]] in two or three moves <ref>[[Gerd Veenker]] ('''1965'''). ''[http://www.degruyter.com/view/j/itit.1965.7.issue-1-6/itit.1965.7.16.25/itit.1965.7.16.25.xml Ein Programm zur Lösung von Schachaufgaben]''. [http://dblp.uni-trier.de/db/journals/it/it7.html Elektronische Rechenanlagen, Vol. 7], No. 1 (German)</ref>, but his focus remained on theorem proving where his scientific contributions are in the field of [https://en.wikipedia.org/wiki/Automated_reasoning automatic deduction].
=Selected Publications=
<ref>[https://dblp.org/pers/hd/v/Veenker:Gerd dblp: Gerd Veenker]</ref>
==1965 ...==
* [[Gerd Veenker]] ('''1965'''). ''[http://www.degruyter.com/view/j/itit.1965.7.issue-1-6/itit.1965.7.16.25/itit.1965.7.16.25.xml Ein Programm zur Lösung von Schachaufgaben]''. [http://dblp.uni-trier.de/db/journals/it/it7.html Elektronische Rechenanlagen, Vol. 7], No. 1 (German)
* [[Gerd Veenker]] ('''1967'''). ''Beweisverfahren für den Prädikatenkalkül''. Ph.D. thesis, [https://en.wikipedia.org/wiki/University_of_T%C3%BCbingen University of Tübingen], advisor [[Mathematician#KLZeller|Karl Longin Zeller]] (German)
* [[Gerd Veenker]] ('''1967'''). ''Beweisalgorithmen für die Prädikatenlogik''. [http://dblp.uni-trier.de/db/journals/computing/computing2.html#Veenker67 Computing, Vol. 2], No. 3 (German)
==1970 ...==
* [http://dblp.uni-trier.de/pers/hd/h/Hoffmann:Geerd=R= Geerd-Rüdiger Hoffmann], [[Gerd Veenker]] ('''1971'''). ''The unit-clause proof procedure with equality''. [http://dblp.uni-trier.de/db/journals/computing/computing7.html#HoffmannV71 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)
* [[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 Joint Conference on Neural Networks]
==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]] ('''2007'''). ''Early History and Perspectives of Automated Deduction''. in [[Mathematician#JHertzberg|Joachim Hertzberg]], [[Mathematician#MBeetz|Michael Beetz]], [[Mathematician#REnglert|Roman Englert]] (Eds.) ('''2007'''). ''[http://www.springer.com/us/book/9783540745648 KI 2007: Advances in Artificial Intelligence: 30th Annual German Conference]''. [https://en.wikipedia.org/wiki/Lecture_Notes_in_Computer_Science LNAI] 4467, [https://en.wikipedia.org/wiki/Springer_Science%2BBusiness_Media Springer], [http://www.intellektik.de/resources/OsnabrueckBuchfassung.pdf pdf]
=External Links=
* [https://www.genealogy.math.ndsu.nodak.edu/id.php?id=21679 The Mathematics Genealogy Project - Gerd Veenker]
=References=
<references/>
'''[[People|Up one level]]'''
[[Category:Mathematician|Veenker]]
'''Gerd Veenker''', (1936 - 1996)<br/>
was a German mathematician, computer scientist, [[Artificial Intelligence|AI]] researcher, and professor for CS and AI at [https://en.wikipedia.org/wiki/University_of_Bonn University of Bonn] <ref>[http://theory.cs.uni-bonn.de/Zope/bericht/Vorwort/ Bericht des Instituts für Informatik - Rheinische Friedrich-Wilhelms-Universität Bonn - Vorwort] by [http://theory.cs.uni-bonn.de/~marek/ Marek Karpinski], 1998</ref>. He received his Ph.D. in 1967 on [https://en.wikipedia.org/wiki/First-order_logic first-order] [https://en.wikipedia.org/wiki/Automated_theorem_proving theorem proving] at [https://en.wikipedia.org/wiki/University_of_T%C3%BCbingen University of Tübingen], where his advisors include [[Mathematician#KLZeller|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 <ref>[[Mathematician#WolfgangBibel|Wolfgang Bibel]] ('''2007'''). ''Early History and Perspectives of Automated Deduction''. in [[Mathematician#JHertzberg|Joachim Hertzberg]], [[Mathematician#MBeetz|Michael Beetz]], [[Mathematician#REnglert|Roman Englert]] (Eds.) ('''2007'''). ''[http://www.springer.com/us/book/9783540745648 KI 2007: Advances in Artificial Intelligence: 30th Annual German Conference]''. [https://en.wikipedia.org/wiki/Lecture_Notes_in_Computer_Science LNAI] 4467, [https://en.wikipedia.org/wiki/Springer_Science%2BBusiness_Media Springer], [http://www.intellektik.de/resources/OsnabrueckBuchfassung.pdf pdf]</ref>. In 1965, he published a paper on a chess program to [[Mate Search|find a mate]] in two or three moves <ref>[[Gerd Veenker]] ('''1965'''). ''[http://www.degruyter.com/view/j/itit.1965.7.issue-1-6/itit.1965.7.16.25/itit.1965.7.16.25.xml Ein Programm zur Lösung von Schachaufgaben]''. [http://dblp.uni-trier.de/db/journals/it/it7.html Elektronische Rechenanlagen, Vol. 7], No. 1 (German)</ref>, but his focus remained on theorem proving where his scientific contributions are in the field of [https://en.wikipedia.org/wiki/Automated_reasoning automatic deduction].
=Selected Publications=
<ref>[https://dblp.org/pers/hd/v/Veenker:Gerd dblp: Gerd Veenker]</ref>
==1965 ...==
* [[Gerd Veenker]] ('''1965'''). ''[http://www.degruyter.com/view/j/itit.1965.7.issue-1-6/itit.1965.7.16.25/itit.1965.7.16.25.xml Ein Programm zur Lösung von Schachaufgaben]''. [http://dblp.uni-trier.de/db/journals/it/it7.html Elektronische Rechenanlagen, Vol. 7], No. 1 (German)
* [[Gerd Veenker]] ('''1967'''). ''Beweisverfahren für den Prädikatenkalkül''. Ph.D. thesis, [https://en.wikipedia.org/wiki/University_of_T%C3%BCbingen University of Tübingen], advisor [[Mathematician#KLZeller|Karl Longin Zeller]] (German)
* [[Gerd Veenker]] ('''1967'''). ''Beweisalgorithmen für die Prädikatenlogik''. [http://dblp.uni-trier.de/db/journals/computing/computing2.html#Veenker67 Computing, Vol. 2], No. 3 (German)
==1970 ...==
* [http://dblp.uni-trier.de/pers/hd/h/Hoffmann:Geerd=R= Geerd-Rüdiger Hoffmann], [[Gerd Veenker]] ('''1971'''). ''The unit-clause proof procedure with equality''. [http://dblp.uni-trier.de/db/journals/computing/computing7.html#HoffmannV71 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)
* [[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 Joint Conference on Neural Networks]
==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]] ('''2007'''). ''Early History and Perspectives of Automated Deduction''. in [[Mathematician#JHertzberg|Joachim Hertzberg]], [[Mathematician#MBeetz|Michael Beetz]], [[Mathematician#REnglert|Roman Englert]] (Eds.) ('''2007'''). ''[http://www.springer.com/us/book/9783540745648 KI 2007: Advances in Artificial Intelligence: 30th Annual German Conference]''. [https://en.wikipedia.org/wiki/Lecture_Notes_in_Computer_Science LNAI] 4467, [https://en.wikipedia.org/wiki/Springer_Science%2BBusiness_Media Springer], [http://www.intellektik.de/resources/OsnabrueckBuchfassung.pdf pdf]
=External Links=
* [https://www.genealogy.math.ndsu.nodak.edu/id.php?id=21679 The Mathematics Genealogy Project - Gerd Veenker]
=References=
<references/>
'''[[People|Up one level]]'''
[[Category:Mathematician|Veenker]]
