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 


Organizer (39)

Dix, Jürgen: Dagstuhl Seminar: Belief Change and Argumentation in Multiagent Systems, Schloss Dagstuhl, DE, June 2013, Co-Chair (with Gabriele Kern-Isberner, Sven Ove Hansson and Guillermo Simari)

Dix, Jürgen: Dagstuhl Seminar: Engineering Multiagent Sytems, Schloss Dagstuhl, DE, 2012, Co-Chair (with Koen Hindriks, Brian Logan and Wayne Wobcke)

Dix, Jürgen: Dagstuhl Seminar: Reasoning about Interaction: From Game Theory to Logic and back, Schloss Dagstuhl, DE, March 2011, Co-Chair (with Dov Samet, Aviad Heifetz, Wojtek Jamroga)

Dix, Jürgen: International RuleML Symposium 2011, Barcelona, ES, July 2011, General Co-Chair (with Georg Gottlob)

Dix, Jürgen: CLIMA XI: Eleventh International Workshop on Computational Logic in Multi-Agent Systems, Lisbon, PT, September 2010, Co-Chair (with Joao Leite)

Dix, Jürgen: MATES: Eighth International Workshop on Multiagent System Technologies, Bielefeld, DE, September 2010, Co-Chair (with Cees Witteveen)

Dix, Jürgen: ProMAS '10: Seventh international Workshop on Programming Multi-Agent Systems , Toronto, CA, 2010, Co-Chair (with Rem Collier and Peter Novak)

Dix, Jürgen: Agent Contest: Multiagent Programming Contest, Hamburg, DE, September 2009, Co-Organizer (with Tristan Behrens, Mehdi Dastani, Michael Köster and Peter Novák)

Dix, Jürgen: CLIMA X: Tenth International Workshop on Computational Logic in Multi-Agent Systems, Hamburg, DE, September 2009, Co-Chair (with Michael Fisher and Peter Novak)

Dix, Jürgen: Dagstuhl Seminar: Programming Multiagent Systems, Schloss Dagstuhl, DE, September 2008, Co-Chair (with Rafael Bordini, Mehdi Dastani and Amal El Fallah Segrouchni)

Results 1 - 10 of 39









Show results as BibTeX-Code

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2021