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 Papers (72)

Dix, Jürgen and Faber, Wolfgang and Subrahmanian, V. S.: Privacy Preservation Using Multi-context Systems and Default Logic, Lecture Notes in Computer Science, Volume 7265, Springer, 2012

Dix, Jürgen and Köster, Michael and Schlesinger, Federico: The Multi-Agent Programming Contest 2012, Lecture Notes in Computer Science, Volume 7837, Springer, 2012

Behrens, Tristan and Bordini, Rafael and Braubach, Lars and Dastani, Mehdi and Dix, Jürgen and Hindriks, Koen and Hübner, Jomi and Pokahr, Alexander: An Interface for Agent-Environment Interaction, LNCS, Volume 6599, Springer Verlag, 2011

Bulling, Nils and Farwer, Berndt: Expressing Properties of Resource-Bounded Systems: The Logics RBTL and RBTL$^*$, LNCS 6214, 2010

Behrens, Tristan and Dastani, Mehdi and Dix, Jürgen and Novák, Peter: Agent Contest Competition: 4th Edition, Lecture Notes in Computer Science, Volume 5442, Springer, 2009

Bulling, N. and Dix, J. and Ches~nevar, C.: An Argumentative Approach for Modelling Coalitions using ATL, Lecture Notes, Springer, 2009

Bulling, N. and Farwer, B.: Expressing Properties of Resource-Bounded Systems: The Logics RBTL and RBTL$^*$, 2009

Bulling, Nils and Chesnevar, Carlos and Dix, Jürgen: Modelling Coalitions: ATL + Argumentation, ACM Press, 2008

Bulling, Nils and Dix, Jürgen: A Finer Grained Modeling of Rational Coalitions Using Goals, Red UNCI, 2008

Dastani, Mehdi and Dix, Jürgen and Novák, Peter: Agent Contest Competition - 4th edition, LNAI, Volume 5442, Springer Verlag, 2008

Results 1 - 10 of 72

<<

<

1

2

3

4

5

6

7

8

>

>>

Show results as BibTeX-Code
 

Kontakt  Suche  Sitemap  Datenschutz  Imprint
© TU Clausthal 2017