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

19.07.2021

17:00-17:30h!

Leon Schwarzer Entwicklung eines Systems für die persistente Speicherung großer Mengen konditionaler Wissensbasen in unterschiedlichen Normalformen Bachelor-Einstiegsvortrag
12.07.2021 Leando Texeiro Crespo Ein Vergleich zwischen Single-State Semantiken für Default-Logiken Bachelor-Einstiegsvortrag
28.06.2021

Jennifer Todtenhoefer

Mohamad Albikai

Work-sensitive Dynamic Complexity of Formal Languages

Ein Vergleich zwischen ASPIC- und wohldefinierten Semantiken für priorisierte logische Programme

Master-Einstiegsvortrag

Bachelor-Abschlussvortrag

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

 

Niklas Falke

Konstantin Haupt

Log-lineare Beschreibungslogiken

Interaktive Konfliktresolution in ASP durch kausale Ablehnung

Bachelor-Einstiegsvortrag

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