Absolventenseminar
| Veranstalter | Lehrstuhl Informatik I - Logik in der Informatik |
| Ort | Otto-Hahn-Str. 12 / Raum 3.031 bzw. Zoom-Meeting |
| Zeit | Montags, 16:15 Uhr (*14-16 Uhr) |
Sommersemester 2021
| Datum | Vortragende/r | Titel des Vortrags | Art des Vortrags |
| 28.06.2021 | Jennifer Todtenhoefer | tba | Master-Einstiegsvortrag |
|
21.06.2021
|
Hendrik Henze Alexandra Latys Torben Scheele |
Determinisierung von Büchi-Automaten Konjunktive reguläre Pfadanfragen mit String-Variablen Wachstum regulärer und kontextfreier Sprachen |
Bachelor-Einstiegsvortrag Bachelor-Einstiegsvortrag Bachelor-Einstiegsvortrag |
|
14.06.2021
|
Mohamad Albikai
Konstantin Haupt |
Ein Vergleich zwischen ASPIC- und wohlfundierten Semantiken für priorisierte logische Programme Interaktive Konfliktresolution in ASP durch kausale Ablehnung |
Bachelor-Abschlussvortrag
Bachelor-Abschlussvortrag |
|
07.06.2021
|
Hong Diem Duong Felix Tschirbs |
Work-sensitive Dynamic Complexity of Regular Tree Languages Berechnungen mit Hilfsbits: Methoden und Grenzen |
Master-Abschlussvortrag Master-Abschlussvortrag |
|
31.05.2021
|
Daria Churikova
Fabian Vehlken |
Plausibility in belief revision - Comparison between Revision by Comparison and the c-change Theory Berechenbarkeits- und Komplexitätstheorie in interaktiven Lernsystemen: Herausforderungen und Lösungsansätze |
Bachelor-Abschlussvortrag
Master-Einstiegsvortrag |
|
03.05.2021
|
Daniel Albert Gerrit Hilleringhaus |
Komplexität der Minimierung eingeschränkter nichtdeterministischer Automaten Bounded Query Evaluation |
Bachelor-Abschlussvortrag Bachelor-Abschlussvortrag |