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

 

 

Projects:

Short CV

My short CV

Degrees

  • 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

Downloads

SMALL_CV.pdf

Small CV

publications_cidix.pdf

List of Publications

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 


  tip
 

Books and Collections (23)

Coverbild Behrens, T. and Dix, J. and Köster, M. and Hübner, J.: Special Issue about Multi-Agent-Contest II, Annals of Mathematics and Artificial Intelligence, Volume 61, Springer, Netherlands, 2011

Coverbild Bordini, Rafael and Dastani, Mehdi and Dix, Jürgen and Segrouchni, Amal El Fallah: Special Issue on Multi-Agent Programming, Journal of Autonomous Agents and Multi-Agent Systems, Volume 23, Springer, 2011

Coverbild Dix, Jürgen and Leite, Joao: Special Issue: Selected Papers of CLIMA 2010, Annals of Mathematics and Artificial Intelligence, Volume 62, Springer, 2011

Coverbild Bassiliades, Nick and Governatori, Guido and Paschke, Adrian and Dix, Jürgen: Special Issue on Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments, IEEE Transactions of Knowledge and Data Engineering, Volume 22, IEEE, 2010

Coverbild Behrens, T. and Dastani, M. and Dix, J. and Köster, M. and Novak, P.: Special Issue about Multi-Agent-Contest I, Annals of Mathematics and Artificial Intelligence, Volume 59, Springer, Netherlands, 2010

Coverbild Dix, Jürgen and Fisher, Michael and Novák, Peter: Computational Logic and Multi-Agent Systems, Revised Selected and Invited Papers of CLIMA X, Lecture Notes in Computer Science, Volume 6214, Springer, 2010

Coverbild Dix, Jürgen and Leite, João and Governatori, Guido and Jamroga, Wojtek: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, Lecture Notes in Computer Science, Volume 6245, Springer, 2010

Coverbild Dix, Jürgen and Witteveen, Cees: Multiagent System Technologies, 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings, Lecture Notes in Computer Science, Volume 6251, Springer, 2010

Coverbild Bordini, Rafael H. and Dastani, Mehdi and Dix, Jürgen and Fallah-Seghrouchni, Amal El: Multi-Agent Programming: Languages, Tools and Applications, Springer, Berlin, 2009

Coverbild Dix, Jürgen: Biennial Report 2006/2007 of the Department of Informatics at Clausthal University of Technology, Papierflieger Verlag GmbH, April 2008

Results 1 - 10 of 23

<<

<

1

2

3

>

>>

Show results as BibTeX-Code
 

Kontakt  Suche  Sitemap  Datenschutz  Imprint
© TU Clausthal 2017