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.
Herbrand's Theorem for Nonstandard Inference Operations
Journal:
Journal of Logic and Computation
Volume:
4
Year:
1994
Pages:
143-156
Number:
2
BibTeX-Code:
@article{dixkum93,
author={Dix, Jürgen and Kummer, Martin},
title={Herbrand's Theorem for Nonstandard Inference Operations},
journal={Journal of Logic and Computation},
volume={4},
year={1994},
pages={143-156},
number={2},
}