Dix, Prof. Dr. Jürgen

Prof. Dr. Jürgen Dix

Institut für Informatik
Abteilung: Computational Intelligence

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

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:
• • Multi-Agent Programming: Languages, Platforms and Applications (2005), and
  • Multi-Agent Programming: Languages, Tools and Applications (2009).
• 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