Prof. Dr. Jürgen Dix
Office: 116, Am Regenbogen 15
Phone: +49 5323 72-7181
Fax: +49 5323 72-7189
E-Mail: dix [at] tu-clausthal.de
- nonmonotonic reasoning
- deductive databases
- knowledge representation
- agent systems
- logics for agency
- formal methods in AI
My short CV
- 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:
- Here are my most recent books:
- Special Issue on Multi-Agent Programming of the Journal of Autonomous Agents and Multi-Agent Systems, Volume 23, 2011 Serie.
- Programming Multi-Agent Systems, Revised Selected and Invited Papers of PROMAS 2010 Lecture Notes in Computer Science, 6599, 2011.
- Special Issue on Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments, IEEE Transactions of Knowledge and Data Engineering, Volume 22, 2010.
- Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, Lecture Notes in Computer Science 6245, 2010.
- Computational Logic and Multi-Agent Systems, Revised Selected and Invited Papers of CLIMA X, Lecture Notes in Computer Science, 6214, 2010.
- Multi-Agent Programming: Languages, Tools and Applications, Springer, 2009.
- 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.
- I am on the Editorial Boards of Transactions of Knowledge and Data Engineering (TKDE) , Theory and Practice of Logic Programming (TPLP), International Journal of Agent-Oriented Software Engineering (IJAOSE), Journal of applied Logic (JAPL), Journal of Knowledge-Based and Intelligent Engineering Systems (KES) and for the Journal of Algorithms in Cognition, Informatics and Logic (JACL). I am also Associate Editor of Annals of Mathematics and Artificial Intelligence (AMAI), and have served as editor of AI Communications: The European Journal of Artificial Intelligence (1995-2003) and Journal of Artificial Intelligence Research (JAIR) (2005-2008). I was Member and Coordinating Node of Agentlink II for The University of Manchester and of Agentlink III for TU Clausthal.
- You will find my small CV listing selected activities from the last 10 years below.
Habilitation in Information Systems, TU Vienna, 1996
Thesis: Disjunctive Deductive Databases: Theoretical Foundations and Implementation
PhD in Computer Science, University of Karlsruhe, 1992
Thesis: Nonmonotonic reasoning and semantics of logic programs
Title: Dr. rer. nat.
Grade: summa cum laude
Diploma in Mathematics, University of Heidelberg, 1986
Thesis: Model-theory of (ultra-) metric vector spaces
Grade: sehr gut
Abitur, Gutenberg-Gymnasium Wiesbaden, 1979