Born in 1961 I grew up in Delkenheim (between Wiesbaden and Frankfurt). After my Abitur at Gutenberg-Schule (Wiesbaden) I studied mathematics and physics at the University of Mainz and at the University of Heidelberg (1980-1986). From 1980-1985 I was a Fellow of the Studienstiftung des deutschen Volkes. Then I switched to computer science and did my PhD in 1992 at Karlsruhe University (Prof. Dr. Peter Schmitt). From 1994-2000 I held the position of a Wissenschaftlicher Assistent (Assistant professor (C1)) at Koblenz University. During 1999 (being on leave from Koblenz), I was Visiting Professor at the University of Maryland, College Park (USA)). From 2000-2004 I was Reader for the foundations of logic and knowledge representation in the Computer Science Department of The University of Manchester (Associate Professor).
Since 2004 I am Full Professor at the Technical University of Clausthal, Germany. I am heading the newly created Chair for Computational Intelligence. Since 1996 I am also member of the Institute for Informationsystems at the Technical University of Vienna (where I did my habilitation in 1996) and, since 2004, I am honorary member of the Computer Science Department of The University of Manchester.
I served as Head of Department from 2005-2008 and Dean of the Faculty of Mathematics, Computer Science and Engineering from 2008-2011. From 2011-2014 I was Vice-Dean. I have been Studiendekan der NTH in 2010. From 2011-2014 I was a member of the Senate of Clausthal University of Technology and also member of the NTH Senate.
Since 2007 I am lead liaison professor of the German National Merit Foundation (federführender Vertrauensdozent der Studienstiftung des deutschen Volkes). Since 2014 I am Dean of the Faculty of Mathematics, Computer Science and Engineering.
After working in several areas of Computational Logic (nonmonotonic reasoning, logic programming, deductive databases, knowledge representation), I am also involved in Multi-Agent Reasoning since 1998. I established the very successful ProMAS series (Programming Multi-Agent Systems) together with Rafael Bordini, Mehdi Dastani and Amal El Fallah Segrouchni. Have a look at our last two books:
I published more than 200 technical papers: Among them more than 50 papers in refereed journals and more than 50 papers at refereed conferences. I have coauthored two monographs (Nonmonotonic Reasoning (Cambridge University Press), Heterogenous Active Agents (MIT Press)) and 6 invited chapters in books. In addition, I edited 17 books (Springer LNCS, LNAI and MASA series) and 13 special issues of several journals.
I have organised more than 40 international conferences, workshops and Dagstuhl seminars. I served as PC member on more than 120 conferences and workshops. I have been invited for more than 70 talks/tutorials and have given regular classroom lectures for longer terms in Germany, USA, Austria, Argentina, Australia and the UK.
Baumgartner, P. and Dix, J. and Furbach, U. and Schäfer, D. and Stolzenburg, F.
Title:
Deduktion und Logisches Programmieren
Journal:
KI
Volume:
2
Year:
1996
Pages:
34-39
BibTeX-Code:
@article{baudixfurschsto95,
author={Baumgartner, P. and Dix, J. and Furbach, U. and Schäfer, D. and Stolzenburg, F.},
title={Deduktion und Logisches Programmieren},
journal={KI},
volume={2},
year={1996},
pages={34-39},
}