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)

Subrahmanian, V. S. and Kraus, S. and Zhang, Y.: Distributed Algorithms for Dynamic Survivability of Multiagent Systems, Lecture Notes in Artificial Intelligence, Volume 3259, Springer, 2004

Dix, Jürgen and Eiter, Thomas and Fink, Michael and Polleres, Axel and Zhang, Yingqian: Monitoring Agents using Declarative Planning, Lecture Notes in Artificial Intelligence, Volume 2821, Springer, 2003

Dix, Jürgen and Kuter, Ugur and Nau, Dana: Planning in Answer Set Programming using Ordered Task Decomposition, Lecture Notes in Artificial Intelligence, Volume 2821, Springer, 2003

Dix, Jürgen and Kraus, Sarit and Subrahmanian, V. S.: Agents dealing with time and uncertainty, ACM Press, 2002

Dix, Jürgen and Munoz-Avila, Hector and an Lingling Zhang, Dana Nau: Theoretical and Empirical Aspects of a Planner in a Multi-Agent Environment, Lecture Notes in Artificial Intelligence, Volume 2424, Springer, 2002

Dix, Jürgen and Munoz-Avila, Hector and Nau, Dana and Zhang, Lingling: Planning in a Multi-Agent Environment: Theory and Practice, ACM Press, 2002

Dix, Jürgen: A Computational Logic Approach to Heterogenous Agent Systems, Lecture Notes in Computer Science, Volume 1265, Springer, 2001

Ches~nevar, Carlos and Dix, Jürgen and Simari, Guillermo and Stolzenburg, Frieder: Relating Defeasible and Normal Logic Programming through Transformation Properties, 2000

Dix, Jürgen and Munoz-Avila, Hector and Nau, Dana: IMPACTing SHOP: Planning in a Multi-Agent Environment, Imperial College, 2000

Dix, Jürgen and Schlechta, Karl: Explaining Updates by minimal Sums, Lecture Notes in Computer Science, Volume 1738, Springer, 1999

Results 31 - 40 of 72

<<

<

1

2

3

4

5

6

7

8

>

>>

Show results as BibTeX-Code
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2018