![]() |
Christian Alrabbaa
Topic: Stream Reasoning using Temporalized Description Logics Associated Doctoral Student since 09.04.2018 |
Shima Asaadi
Topic: Automatic Extraction of Matrix-based Models of Language Scholarship Holder from 15.12.2015 to 14.12.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 |
|
Erik Paul
Topic: The structure of weighted automata on trees and tree-like graphs Scholarship Holder from 01.10.2015 to 30.09.2018 |
|
Danny Richter
Topic: Verification of Counter Automata Associated Doctoral Student since 09.02.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 |
|
Caterina Viola
Scholarship Holder of QuantLA from 01.03.2016 to 28.02.2019 |
![]() |
Sascha Wunderlich
Topic: Weight Accumulation and Probabilistic Model Checking Scholarship Holder of QuantLA from 01.02.2013 to 31.01.2016 |