e CIG: Prof. Dr. Jürgen Dix

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




Short CV

My short CV


  • 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



Small CV


List of Publications


All | Articles | Books and Collections | Book Chapters | Conference Papers 
Conference Proceedings | Technical Reports | Habilitation-Theses | PhD-Theses 
Bachelor-Theses | Master-Theses | Diploma-Theses | Minor-Theses 
Editor (Journal) | Steering Committee | Organizer | PC-Member 
Evaluator | Invited | Visit | Member 
Lead Function 


Articles (60)

Behrens, T. and Dastani, M. and Dix, J. and Hübner, J. and Köster, M. and Novák, P. and Schlesinger, F.: The Multi-Agent Programming Contest, AI Magazine, Volume 33, 2012

Dix, Jürgen and Hindriks, Koen V. and Logan, Brian and Wobcke, Wayne: Engineering Multi-Agent Systems (Dagstuhl Seminar 12342), Dagstuhl Reports, Volume 2, 2012

Behrens, Tristan and Dix, Jürgen and Hübner, Jomi and Köster, Michael: Editorial, Annals of Mathematics and Artificial Intelligence, Volume 61, Springer Netherlands, 2011

Behrens, Tristan and Hindriks, Koen and Dix, Jürgen: Towards an environment interface standard for agent platforms, Annals of Mathematics and Artificial Intelligence, Volume 61, Springer, 2011

Bordini, Rafael H. and Dastani, Mehdi and Dix, Jürgen and Fallah-Seghrouchni, Amal El: Preface, Autonomous Agents and Multi-Agent Systems, Volume 23, 2011

Dix, Jürgen and Fisher, Michael: Where Logic and Agents meet, Annals of Mathematics and Artificial Intelligence, Volume 61, 2011

Dix, Jürgen and Jamroga, Wojtek and Samet, Dov: Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101), Dagstuhl Reports, Volume 1, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2011

Coverbild Dix, Jürgen and Leite, João: Preface to the special issue on computational logics in multi-agent systems, Annals of Mathematics and Artificial Intelligence, Volume 62, 2011

Bassiliades, Nick and Governatori, Guido and Paschke, Adrian and Dix, Jürgen: Guest Editors' Introduction: Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments, IEEE Transactions for Knowledge and Data Engineering, Volume 22, IEEE, 2010

Behrens, Tristan and Dastani, Mehdi and Dix, Jürgen and and Köster, Michael and Nov�k, Peter: Editorial, Annals of Mathematics and Artificial Intelligence, Volume 59, Springer Netherlands, 2010

Results 1 - 10 of 60











Show results as BibTeX-Code

Kontakt  Suche  Sitemap  Datenschutz  Imprint
© TU Clausthal 2017