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 


Evaluator (51)

Dix, Jürgen: Chetan Yadati Narashima: Coordinating Autonomous Planning and Scheduling., Delft University, January 2013, PhD External Examiner

Dix, Jürgen: Italian Ministry of Information, Rome, IT, September 2001-, Expert Evaluator

Dix, Jürgen: Finnish Academy of Science, Helsinki, FL, September 2004-, Expert Evaluator

Dix, Jürgen: EPSRC Research Council, The Engineering and Physical Sciences Research Council, Swindon, UK, 2006-, Expert Evaluator

Dix, Jürgen: Cost Action IC0801, Brussels, Belgium, June 2008-, Management Comittee Member (nominated by German Government)

Dix, Jürgen: DICODE, Luxemburg, LU, 2012, EU-ICT-FP7, Expert Evaluator

Dix, Jürgen: Michal Sindlar: In the Eye of the Beholder: Explaining Behavior through Mental State Abduction., Utrecht University, November 2011, PhD External Examiner

Dix, Jürgen: FSTC, University of Luxemburg, LU, 2011, Expert Evaluator

Dix, Jürgen: DICODE, Luxemburg, LU, 2011, EU-ICT-FP7, Expert Evaluator

Dix, Jürgen: Nils Bulling: Modelling and Verifying Abilities of rational Agents, Clausthal Univesity of Technology, Clausthal, DE, 2010, PhD (Erstgutachter)

Results 1 - 10 of 51











Show results as BibTeX-Code

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2021