Inhalt des Dokuments
zur Navigation
Habilitationsschrift: Towards a logical theory of propositional integration |
Lehrprobe (21. Juni 2012): Einführung in Petrinetze |
Habilitationsvortrag (11. Juli 2012): Towards a logical theory of propositional integration |
Erteilung der Lehrbefähigung für das Fachgebiet: Theoretische Informatik |
Gutachter: Prof. Dr. Mahr, Prof. Dr. Robering (Sydansk Universitet, Denmark) |
Habilitationsschrift: Foundation of Argumentation Technology Summary of Habilitation Thesis |
Lehrprobe (11. April 2011): Beschreibungslogik und Ontologien für das Semantische Web |
Habilitationsvortrag (9. November 2011): Grundlagen der Argumentationstechnologie |
Erteilung der Lehrbefähigung für das Fachgebiet: Intelligent Systems |
Gutachter: Prof. Dr. Mahr, Prof. Dr. Brewka (Universität Leipzig), Prof. Dr. Bench-Capon (University of Liverpool) |