![]() |
Christian Alrabbaa
Topic: Stream Reasoning using Temporalized Description Logics Associated Doctoral Student since 09.04.2018 |
![]() |
Thomas Feller
Topic: Model-theoretic Characteristics of Decidable Knowledge Representation Formalisms Associated Doctoral Student since 17.12.2018 |
![]() |
Johannes Greiner
Topic: Polynomial Time Combinations of Decision Procedures for Constraint Satisfaction Problems Associated Doctoral Student since 01.04.2016 |
![]() |
Simon Jantsch
Topic: Explications for Probabilistic Model Checking Associated Doctoral Student since 10.10.2018 |
![]() |
Lukas Schweizer
Topic: Knowledge Representation Formalisms under Non-Standard Semantics — Computational Properties and Practical Reasoning Associated Doctoral Student since 01.04.2016 |
![]() |
Florian Starke
Topic: Associated Doctoral Student since 20.12.2018 |