Sommersemester 2020

Datum Vortragende/r Titel des Vortrags Art des Vortrags
05.08.2020

Alexander Becker

 

Isabell Strotkamp

A General Framework for Kinds of Forgetting in Knowledge Representation

Lexikographische Inferenzen im Vergleich mit c-Repräsentationen

Mater-Einführungsvortrag

 

Bachelor-Abschlussvortrag

06.07.2020 Nils Jung Magic set based evaluation of datalog with negation  Master-Abschlussvortrag

22.06.2020

 

Jan Beier

Marko Schmellenkamp

Zustandsoptimale Komplementierung von Büchi-Automaten

Devising high-level exercises for learning context-free languages with intelligent tutoring systems

Bachelor-Einführungsvortrag

Master-Einführungsvortrag

08.06.2020

Benedikt Smit

Jan Erik Swiadek

Aufteilungskorrektheit für Abschnittsanfragen

Aufzählungskomplexität von Vereinigungen konjunktiver Anfragen

Bachelor-Einführungsvortrag

Bachelor-Einführungsvortrag

25.05.2020

 

Alicia Gayda

Henning Müller

Ungewöhnliche Automatenmodelle für kontextfreie Sprachen

Parametrisierte Komplexität von regulären Pfad-Anfragen

Bachelor-Einführungsvortrag

Bachelor-Einführungsvortrag

18.05.2020 Janine Frickenschmidt

Answer Set Programming für Verhaltenskontrolle im Roboterfußball

Master-Einführungsvortrag
11.05.2020 Maximilian Gninka Komplexität der Auswertung von Pfadanfragen für Graphdatenbanken Bachelor-Abschlussvortrag
27.04.2020 Patrick Roy Quantum Query Complexity of Regular Languages Bachelor-Einführungsvortrag