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

Short CV

Degrees

  • Habilitation in Information Systems, TU Vienna, 1996
     
    • ThesisDisjunctive Deductive Databases: Theoretical Foundations and Implementation
      TitleUniv.-Doz.

  • PhD in Computer Science, University of Karlsruhe, 1992
     
    • ThesisNonmonotonic reasoning and semantics of logic programs
      TitleDr. rer. nat.
      Gradesumma cum laude

  • Diploma in Mathematics, University of Heidelberg, 1986
     
    • ThesisModel-theory of (ultra-) metric vector spaces
      TitleDipl.-Math.
      Gradesehr gut

  • Abitur, Gutenberg-Gymnasium Wiesbaden, 1979
     
    • Grade1.0

Kontakt
Telefon: +49 5323 / 72 - 7181
Fax: +49 5323 72-7189
E-Mail:  juergen.dix@tu-clausthal.de​​​​​​​

Adresse
Technische Universität Clausthal
Institut für Informatik
Gebäude D8, Raum 116
Am Regenbogen 15
38678 Clausthal-Zellerfeld
 

Postanschrift
Institut für Informatik
Julius-Albert-Str. 4
38678 Clausthal-Zellerfeld
Germany