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)

 

Wintersemester 2020/2021

Datum Vortragende/r Titel des Vortrags Art des Vortrags
22.02.2021

Lukas Benning

 

Viktoria Diekel

Ein Vergleich zwischen abstrakter dialektischer Argumentation und OCF-Netzwerken

Berücksichtigung von Relevanz bei der Wissensrevision in epistemischen Zuständen

Bachelor-Abschlussvortrag

 

Bachelor-Abschlussvortrag

 15.02.2021

Alexander Becker

 

Lorenzo Perez Veenstra

A General Framework for Kinds of Forgetting in Knowledge Representation

Algorithmic Computation of c-Representations in LEG-Networks

Master-Abschlussvortrag

 

Master-Abschlussvortrag

 25.01.2021

Cemre Yardakul

Patrick Miß

Konditionale Inferenzmuster für Syllogismen

ASP-Forgetting-Methoden für Rangfunktionen

Bachelor-Abschlussvortrag

Bachelor-Abschlussvortrag

14.12.2020

Daniel Albert

 

Gerrit Hilleringhaus

Komplexität der Minimierung eingeschränkter nichtdeterministischer Automaten

Bounded Query Evaluation

Bachelor-Einführungsvortrag

 

Bachelor-Einführungsvortrag

07.12.2020

 Hong Diem Duong

Felix Tschirbs

Work-sensitive Dynamic Complexity of Regular Tree Languages

Berechnungen mit Hilfsbits: Methoden und Grenzen

Master-Einführungsvortrag

Master-Einführungsvortrag

16.11.2020

Lukas Benning

 

Janine Frickenschmidt

Ein Vergleich zwischen abstrakter dialektischer Argumentation und OCF-Netzwerken

Answer Set Programming für verhaltenskontrolle im Roboterfußball

Bachelor-Einführungsvortrag

 

Master-Abschlussvortrag

09.11.2020

Jan Beier

Benedikt Smit

Zustandsoptimale Komplementierung von Büchi-Automaten

Aufteilungskorrektheit für Abschnittsanfragen

Bachelor-Abschlussvortrag

Bachelor-Abschlussvortrag

02.11.2020

Alicia Gayda

Ungewöhnliche Automatenmodelle für kontextfreie Sprachen

 

Bachelor-Abschlussvortrag

26.10.2020

Patrick Miß*

Cemre Yardukal*

Viktoria Diekel*

 

Marko Schmellenkamp

Jan Erik Swiadek

ASP-Forgetting-Methoden für Rangfunktionen

Konditionale Inferenzmuster für Syllogismen

Berücksichtigung von Relevanz bei der Wissensrevision in epistemischen Zuständen

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

Aufzählungskomplexität von Vereinigungen konjunktiver Anfragen

Bachelor-Einführungsvortrag

Bachelor-Einführungsvortrag

Bachelor-Einführungsvortrag

Master-Abschlussvortrag

Bachelor-Abschlussvortrag

05.10.2020 Lorenzo Perez Veenstra Algorithmic Computation of c-Representations in LEG-Networks Master-Einführungsvortrag