Topic | Student | Info |
---|---|---|
Alternating Weighted Automata | Gustav Grabolle | A3 |
Answer Set Optimization | Markus Ulbricht | S2 |
Automatic Extraction of Matrix-based Models of Language | Shima Asaadi | S2 |
Combinatory Categorial Grammars | Lena Schiffer | S3 |
Compositionality in Probabilistic Model Checking | Linda Herrmann | A1 |
Computing Preferred Models in Description Logics | Willi Hieke | S3 |
Explications for Probabilistic Model Checking | Simon Jantsch | A3 |
Extended Quantitative Tree Automata | Sven Dziadek | A3 |
Knowledge Representation Formalisms under Non-Standard Semantics — Computational Properties and Practical Reasoning | Lukas Schweizer | A2 |
Model-theoretic Characteristics of Decidable Knowledge Representation | Thomas Feller | A3 |
Polynomial Time Combinations of Decision Procedures for Constraint Satisfaction Problems | Johannes Greiner | A2 |
Qualitative and Quantitative Approaches to Reasoning in Defeasible Description Logics | Maximilian Pensel | S2 |
Quantitative Variants of Language Equations and their Applications to Description Logics | Pavlos Marantidis | S2 |
Stochastic Shortest Path Problems | Jakob Piribauer | S3 |
Stream Reasoning using Temporalized Description Logics | Christian Alrabbaa | A3 |
The structure of weighted automata on trees and tree-like graphs | Erik Paul | S2 |
User-Definable Concrete Domains | Jakub Rydval | S3 |
Valued Constraint Satisfaction Problems over Infinite Domains | Simon Knäuer | S3 |
Valued Semi-Linear Constraint Satisfaction Problems | Caterina Viola | S2 |
Verification of Counter Automata | Danny Richter | A3 |
Weight Accumulation and Probabilistic Model Checking | Sascha Wunderlich | S1 |
Weighted Automata with Storage | Luisa Herrmann | S2 |
Weighted Tree Substitution | Kevin Stier | A3 |
Info Legend:
A - Originally Associated
S - Originally Scholarship Holder
1 - First Generation
2 - Second Generation
3 - Third Generation