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
 

Conference Proceedings (22)

Coverbild Collier, Rem W. and Dix, Jürgen and Novák, Peter: Programming Multi-Agent Systems - 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers, Lecture Notes in Computer Science, Volume 6599, Springer, 2012

Dix, J. and Fisher, M. and Novak, P.: Computational Logic and Multi-Agent Systems, Post Conference Proceedings of the 10th international workshop on Computational Logic in Multi-Agent Systems (CLIMA X), Lecture Notes in Artificial Intelligence, Volume 6214, Springer, Berlin, 2010

Dix, J. and Leite, J. and Governatori, Guido and Jamroga, Woitek: Computational Logic and Multi-Agent Systems, Conference Proceedings of the 11th international workshop on Computational Logic in Multi-Agent Systems (CLIMA XI), Lecture Notes in Artificial Intelligence, Volume 6245, Springer, Berlin, 2010

Dix, J. and Witteveen, Cees: MATES '10, Conference Proceedings of the Eigth International Workshop on Multi-Agent System Technologies, Lecture Notes in Artificial Intelligence, Volume 6251, Springer, Berlin, 2010

Coverbild Bordini, Rafael H. and Dastani, Mehdi and Dix, Jürgen and El Fallah Seghrouchni, A.: Programming Multi-Agent Systems, Fourth International Workshop, ProMAS 2006, Revised and Invited Papers, Lecture Notes in Computer Science, Volume 4411, Springer, Hakodate, Japan, 2007

Coverbild Bordini, R. and Dastani, M. and Dix, J. and El Fallah Seghrouchni, A.: Pre-Proceedings of the 4th International Workshop on Programming Multi Agent Systems (ProMAS '06), Hakodate University, Hakodate, Japan, 2006

Coverbild Bordini, R. and Dastani, M. and Dix, J. and El Fallah Seghrouchni, A.: Programming Multi Agent Systems (ProMAS '05), Lecture Notes in Artificial Intelligence, Volume 3862, Springer, Berlin, 2006

Coverbild Dix, J. and Hegner, S.: Proceedings of the Fourth International Symposium on Foundations of Information and Knowledge Systems (FOIKS '06), Lecture Notes in Computer Science, Volume 3861, Springer, Berlin, 2006

Dix, Juergen and Hunter, Anthony: Proceedings of the 11th Workshop on Nonmonotonic Reasoning, Technical Report Series, Clausthal University of Technology, 2006

Coverbild Dix, Jürgen and Eiter, Thomas and Franconi, Enrico: Abstracts Collection - Logic Based Information Agents, Dagstuhl Seminar Proceedings, Volume 4171, Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany, Dagstuhl, Germany, 2006

Results 1 - 10 of 22

<<

<

1

2

3

>

>>

Show results as BibTeX-Code
 

Kontakt  Suche  Sitemap  Datenschutz  Imprint
© TU Clausthal 2017