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 Stolzenburg, Frieder and Simari, Guillermo and Fillotrani, Pablo: Automating Defeasible Reasoning with Logic Programming, 1999

Brass, Stefan and Dix, Jürgen and Niemelä, Ilkka and Przymusinski, Teodor. C.: A Comparison of the Static and the Disjunctive Well-founded Semantics and its Implementation, Morgan Kaufmann, 1998

Aravindan, Chandrabose and Dix, Jürgen and Niemelä, Ilkka: DisLoP: Towards a Disjunctive Logic Programming System, Lecture Notes in Artificial Intelligence, Volume 1265, Springer, 1997

Brass, Stefan and Dix, Jürgen and Niemelä, Ilkka and Przymusinski, Teodor. C.: Comparison and Efficient Computation of the Static and the Disjunctive WFS, Max Planck Institute for Computer Science, Saarbrücken, 1997

Dix, Jürgen and Osorio, Mauricio: Provability Closures in Logic Programming, 1997

Dix, Jürgen and Osorio, Mauricio: On Well-Behaved Semantics Suitable for Aggregation, MIT Press, 1997

Dix, Jürgen and Pereira, Luis and Przymusinski, Teodor: Prolegomena to Logic Programming for Non-Monotonic Reasoning, Lecture Notes in Artificial Intelligence, Volume 1216, Springer, 1997

Dix, Jürgen and Stolzenburg, Frieder: Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming (Preliminary Report), Lecture Notes in Artificial Intelligence, Volume 1216, Springer, 1997

Aravindan, Chandrabose and Baumgartner, Peter and Dix, Jürgen and Furbach, Ulrich and Neugebauer, Gerd and Niemelä, Ilkka and Schäfer, Dorothea and Stolzenburg, Frieder: On merging theorem proving and logic programming paradigms, MIT Press, 1996

Aravindan, Chandrabose and Baumgartner, Peter and Dix, Jürgen and Furbach, Ulrich and Neugebauer, Gerd and Niemelä, Ilkka and Schäfer, Dorothea and Stolzenburg, Frieder: On merging theorem proving and logic programming paradigms, GMD-Studien Nr. 296, 1996

Results 41 - 50 of 72

<<

<

1

2

3

4

5

6

7

8

>

>>

Show results as BibTeX-Code
 

Kontakt  Suche  Sitemap  Datenschutz  Imprint
© TU Clausthal 2018