Associated Doctoral Students

Christian Alrabbaa


Technische Universität Dresden

Topic: Stream Reasoning using Temporalized Description Logics
Supervisors: Prof. Dr. Baader, PD. Dr.-Ing. Turhan

Associated Doctoral Student since 09.04.2018

 Thomas Feller


Technische Universität Dresden

Topic: Model-theoretic Characteristics of Decidable Knowledge Representation Formalisms
Supervisor: Prof. Dr. Rudolph, Prof. Dr. Bodirsky

Associated Doctoral Student since 17.12.2018

Johannes Greiner


Technische Universität Dresden

Topic: Polynomial Time Combinations of Decision Procedures for Constraint Satisfaction Problems
Supervisors: Prof. Dr. Bodirsky, Prof. Dr. Baader

Associated Doctoral Student since 01.04.2016
 

Simon Jantsch


Technische Universität Dresden

Topic: Explications for Probabilistic Model Checking
Supervisor: Prof. Dr. Baier, PD. Dr. Quaas

Associated Doctoral Student since 10.10.2018

Lukas Schweizer


Technische Universität Dresden

Topic: Knowledge Representation Formalisms under Non-Standard Semantics — Computational Properties and Practical Reasoning
Supervisors: Prof. Dr. Rudolph, PD. Dr.-Ing. Turhan

Associated Doctoral Student since 01.04.2016

Florian Starke


Technische Universität Dresden

Topic:
Supervisors: Prof. Dr. Bodirsky, Prof. Dr. Maletti

Associated Doctoral Student since 20.12.2018

 

Details