Mittwoch, 08.04.2026, 11:00-11:45 Uhr, OH12/2013
Tuqa Alhalabi
Vertrauen in autonome Fahrzeuge: Eine empirische Untersuchung mit Interviews und Fragebogenstudie
Betreuer: Prof. Dr. Howar
Bachelor-Abschlussvortrag
Montag, 13.04.2026, 16:15-16:45 Uhr, OH12/3.031
Yannick Wehner
Charakterisierung von effizienter Lernbarkeit und Anwendung auf Klassen von aussagenlogischen Formeln
Betreuer: Prof. Dr. Jung
Bachelor-Abschlussvortrag
Montag, 13.04.2026, 16:45-17:15 Uhr, OH12/3.013
Andrea Heinle
Einsatz von Iltis in der Logik-Programmierung
Betreuer: Prof. Dr. Jung
Bachelor-Einführungsvortrag
Montag, 13.04.2026, 14:15-14:45 Uhr, OH16/205
Alexander Wrede
Eine Python-Bibliothek für Max-Plus-Matrizen
Betreuer: Prof. Dr. Buchholz
Bachelor-Einführungsvortrag
Montag, 13.04.2026, 15:00-15:45 Uhr, OH16/205
Florian Pohl
Künstliche Intelligenz zur automatisierten Klassifizierung von Projektausschreibungen hinsichtlich Relevanz und Zuständigkeit
Betreuer: Prof. Dr. Buchholz
Bachelor-Abschlussvortrag
Dienstag, 14.04.2026, 16:15-16:45 Uhr, via Zoom
Marcel Schäper
Vergleich von regelbasierten Systemen für die Rechnungsprüfung ASP vs Rule Engines
Betreuer: Prof. Dr. Kern-Isberner
Bachelor-Abschlussvortrag
Montag, 20.04.2026, 14:15-14:45 Uhr, Raum OH16/205
Nils Thesing
Wegfindung in löcherhaften Amoetbot – Strukturen
Betreuer: Prof. Dr. Förster
Bachelor-Einführungsvortrag
Montag, 20.04.2026, 15:00-15:30 Uhr, OH16/205
Houssam Taleb
Entwicklung eines Tools für die Visualisierung von Failover Routingstrategien
Betreuer: Prof. Dr. Förster
Bachelor-Einführungsvortrag
Montag, 20.04.2026, 16:15-16:45 Uhr, OH12/3013
Michael Mann
Transparente Aufgabenverteilung in der klinischen Pflege durch kontrastive Erklärungen in der Antwortmengenprogrammierung
Betreuer: Prof. Dr. Jung
Bachelor-Einführungsvortrag
Montag, 20.04.2026, 16:45-17:15 Uhr, OH12/3013
Noah Thebelt
Graphneuronale Netzwerke im Kontext des Konzept-Lernens
Betreuer: Prof. Dr. Jung
Bachelor-Einführungsvortrag
Montag, 20.04.2026, 16:45-17:15 Uhr, OH12/3013
Patrick Pijasecki
SAT-basierte Extraktion von Definitionen aus Wissensbasen
Betreuer: Prof. Dr. Jung
Bachelor-Einführungsvortrag
Dienstag, 21.04.2026, 16:15-16:45 Uhr, OH12/3.031
Efficient Translations of Regular Expressions into Nondeterministic Finite Automata
Makhabbat Kazhybayeva
Betreuer: Prof. Schwentick
Bachelor-Abschlussvortrag
Dienstag, 21.04.2026, 16:45-17:15 Uhr, OH12/3.031
Minimierung von deterministischen und good-for-games Omega-Automaten
Kevin Kliche
Betreuer: Prof. Schwentick
Bachelor-Abschlussvortrag
Donnerstag, 23.04.2026, 11:00-11:30 Uhr, OH14/105
Untersuchung von LLM-gestützter Softwareentwicklung hinsichtlich Qualität, kognitiver Last und Vertrauen
Alexandros Kyriazopoulos
Betreuer: Prof. Steffen
Bachelor-Abschlussvortrag
Montag, 27.04.2026, 14:15-15:00 Uhr, OH16/205
Hatim Bouzian
Schätzung der Prognoseevaluationsmetriken mit Meta-Learning in einem Forecasting Tool
Betreuer: Prof. Dr. Buchholz
Bachelor-Abschlussvortrag
Montag, 27.04.2026, 15:00-15:45 Uhr, OH16/205
Redouan Kacimi
Transparente Evaluierung von Zeitreihenprognosen in einem Prognosetool
Betreuer: Prof. Dr. Buchholz
Bachelor-Abschlussvortrag
Dienstag, 28.04.2026, 16:15-16:45, OH12/3.031
Aufzählung von Anfrageergebnissen auf SLP-komprimierten Dokumenten
Justus Nelson
Betreuer: Prof. Schwentick
Bachelor-Abschlussvortrag
Dienstag, 28.04.2026, 16:45-17:15, OH12/3.031
Edit-Distanz von regulären und kontextfreien Sprachen
Hendrik Ahrens
Betreuer: Prof. Schwentick
Bachelor-Abschlussvortrag
