Wir nutzen Cookies, um unser Angebot so barrierefrei wie möglich zu gestalten. Mit der folgenden Abfrage lassen sich die einzelnen Hilfsmittel auswählen und die Auswahl wird auf diesem Rechner lokal in Cookies gespeichert. Die Abfrage kann jederzeit über den Schalter oben rechts auf der Seite aufgerufen und verändert werden.

Alle Funktionen deaktivieren Alle Funktionen aktivieren Ausgewählte Funktionen aktivieren

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