Informatik an der TU Clausthal > Abteilungen > Computational Intelligence > Computational Intelligence > Members > Leader > Prof. Dr. Jürgen Dix
Prof. Dr. Jürgen Dix
Links
- Google Scholar
- my DBLP entry
- my research citation index
- my Erdös number is 3
- my Hirsch-index is 35
- list of publications
Office: 116, Am Regenbogen 15
Phone: +49 5323 72-7181
Fax: +49 5323 72-7189
E-Mail: dix [at] tu-clausthal.de
Research Interests:
- nonmonotonic reasoning
- deductive databases
- knowledge representation
- agent systems
- logics for agency
- formal methods in AI
Projects:
- Model Checking With Logic Based Petri Nets
- A Language for Beliefs and Knowledge Representation
- Modular BDI Architecture and Agent Oriented Programming
- A Simulation Platform for Multi-Agent Systems
- IPMasAr: Modelling Inference and Preferences in Multiagent Systems through Argumentation
- Programming Multiagent Systems
- A General Framework for Reasoning about Plausible Behavior and Rational Agents
Year plans
Short CV
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.
Degrees
-
Habilitation in Information Systems, TU Vienna, 1996
- Thesis: Disjunctive Deductive Databases: Theoretical Foundations and Implementation
Title: Univ.-Doz. -
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
Title: Dipl.-Math.
Grade: sehr gut -
Abitur, Gutenberg-Gymnasium Wiesbaden, 1979
- Grade: 1.0
Downloads
 | Small CV |
 | List of Publications |
Publications
 |
|
| |||||||
Back to summary |