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

 

Research Interests:

  • nonmonotonic reasoning
  • deductive databases
  • knowledge representation
  • agent systems
  • logics for agency
  • formal methods in AI

 

 

Projects:

Year plans

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). 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.

  • 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:

  • 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 Board of AI Communications: The European Journal of Artificial Intelligence (1995-2003), of Annals of Mathematics and Artificial Intelligence (AMAI), Journal of Artificial Intelligence Research (JAIR), Theory and Practice of Logic Programming (TPLP), International Journal of Agent-Oriented Software Engineering (IJAOSE), as well as of Journal of applied Logic and Transactions of Knowledge and Data Engineering. I was Member and Coordinating Node of Agentlink II for The University of Manchester and I am coordinating node for 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

Links

Downloads

SMALL_CV.pdf

Small CV

publications_cidix.pdf

List of Publications

Publications

Alles | Beiträge in Fachzeitschriften | Bücher und Sammelbände | Beiträge in Büchern | Konferenzbeiträge 
Tagungsbände | Technische Berichte 


   Tip
 

Beiträge in Fachzeitschriften (48)

Nils Bulling and Jürgen Dix
Modelling and Verifying Coalitions using Argumentation and ATL,
Inteligencia Artificial, 2010
Jürgen Dix and Simon Parsons and Henry Prakken and Guillermo Ricardo Simari
Research challenges for argumentation,
Computer Science - R&D, 2009
Jürgen Dix and Simon Parsons and Henry Prakken and Guillermo Simari
Dagstuhl Manifesto,
Informatik Spektrum, 2009
Jürgen Dix and Tristan Behrens and Michael Köster and Peter Novák
Agenten als Goldgräber und Cowboys,
KI - Zeitschrift Künstliche Intelligenz, 2009
Nils Bulling and Wojciech Jamroga and Jürgen Dix
Reasoning about Temporal Properties of Rational Play,
Annals of Mathematics and Artificial Intelligence, Springer, 2009
mehr

Bücher und Sammelbände (16)

T. Behrens, and M. Dastani, and J. Dix and M. Koester and P. Novak
Special Issue about Multi-Agent-Contest,
Springer, Netherlands, 2010
Rafael H. Bordini and Mehdi Dastani and Jürgen Dix and Amal El Fallah-Seghrouchni
Multi-Agent Programming: Languages, Tools and Applications,
Springer, Berlin, 2009
Coverbild Jürgen Dix
Biennial Report 2006/2007 of the Department of Informatics at Clausthal University of Technology,
Papierflieger Verlag GmbH, April 2008
Coverbild J. Dix and S. Hegner
Special Issue about FOIKS 2006,
Springer, Netherlands, 2007
Coverbild R. Bordini and M. Dastani and J. Dix and El Fallah Seghrouchni, A.
Special Issue on Programming Multi-Agent Systems,
Springer, 2007
mehr

Beiträge in Büchern (8)

Nils Bulling and Jürgen Dix and Wojciech Jamroga Mehdi Dastani and Koen V. Hindriks and John-Jules Ch. Meyer
Model Checking Logics of Strategic Ability: Complexity,
Springer, 2010
Coverbild Alejandro Garcia and Jürgen Dix and Guillermo Simari Iyad Rahwani and Guillermo Simari
Argument-based Logic Programming,
Springer, Berlin, 2009
Coverbild Gerhard Brewka and Jürgen Dix D. Gabbay and F. Guenthner
Knowledge Representation with Extended Logic Programs,
Reidel Publ., 2005
Coverbild Jürgen Dix and Ugur Kuter and Dana Nau S. Artemov and H. Barringer and A. S. d'Avila Garcez and L. C. Lamb and J. Woods
Planning in Answer Set Programming using Ordered Task Decomposition,
King's College Publications, London, 2005
Coverbild Jürgen Dix and Yingqian Zhang R. Bordini and M. Dastani and J. Dix and El Fallah Seghrouchni, A.
IMPACT: A multi-agent framework with declarative semantics,
Springer, Berlin, 2005
mehr

Konferenzbeiträge (69)

Nils Bulling and Berndt Farwer J. Dix and M. Fisher and P. Novak
Expressing Properties of Resource-Bounded Systems: The Logics RBTL and RBTL$^*$,
2010
N. Bulling and B. Farwer J. Dix and et al.
Expressing Properties of Resource-Bounded Systems: The Logics RBTL and RBTL$^*$,
2009
N. Bulling and J. Dix and C. Ches evar I. Rahwan and P. Moraitis
An Argumentative Approach for Modelling Coalitions using ATL,
Springer, 2009
Tristan M. Behrens and Mehdi Dastani and Jürgen Dix and Peter Novák Koen V. Hindriks and Alexander Pokahr and Sebastian Sardi a
Agent Contest Competition: 4th Edition,
Springer, 2009
Jürgen Dix Sven Hartmann and Gabriele Kern-Isberner
Strategic Abilities of Agents,
Springer, 2008
mehr

Tagungsbände (21)

J. Dix and Cees Witteveen
MATES '10, Conference Proceedings of the Eigth International Workshop on Multi-Agent System Technologies,
Springer, Berlin, 2010
J. Dix and J. Leite and Guido Governatori and Woitek Jamroga
Computational Logic and Multi-Agent Systems, Conference Proceedings of the 11th international workshop on Computational Logic in Multi-Agent Systems (CLIMA XI),
Springer, Berlin, 2010
J. Dix and M. Fisher and P. Novak
Computational Logic and Multi-Agent Systems, Post Conference Proceedings of the 10th international workshop on Computational Logic in Multi-Agent Systems (CLIMA X),
Springer, Berlin, 2010
Coverbild Rafael H. Bordini and Mehdi Dastani and Jürgen Dix and El Fallah Seghrouchni, A.
Programming Multi-Agent Systems, Fourth International Workshop, ProMAS 2006, Revised and Invited Papers,
Springer, Hakodate, Japan, 2007
Coverbild J. Dix and S. Hegner
Proceedings of the Fourth International Symposium on Foundations of Information and Knowledge Systems (FOIKS '06),
Springer, Berlin, 2006
mehr

Technische Berichte (16)

Jürgen Dix and Michael Fisher and Peter Novák (eds.)
Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems 2009,
2009
Tristan M. Behrens and Jürgen Dix and Koen V. Hindriks
The Environment Interface Standard for Agent-Oriented Programming Platform Integration Guide and Interface Implementation Guide,
2009
Tristan M. Behrens and Jürgen Dix and Koen V. Hindriks
Towards an Environment Interface Standard for Agent-Oriented Programming,
2009
Nils Bulling and Wojciech Jamroga and Jürgen Dix
Reasoning about Temporal Properties of Rational Play,
2008
Tristan M. Behrens and Jürgen Dix and Mehdi Dastani and Michael Köster and Peter Novák
Technical Foundations of the Agent Contest 2008,
2008
mehr
 
© TU Clausthal 2010 · Imprint