Aktuelles
Einladung zur mündlichen Prüfung im Rahmen des Promotionsverfahrens von Herrn Lars Bengel
[12.10.2026]Hiermit laden wir Sie im Namen des Dekans der Fakultät für Mathematik und Informatik zur mündlichen Prüfung im Rahmen des o. g. Promotionsverfahrens für
Montag, den 12.10.2026, um 16:00 Uhr in den Raum B 121, Gebäude 8, 1. OG, Universitätsstr. 21 in Hagen
bzw. zu einem Zoom-Meeting mit den folgenden Zugangsdaten:
https://fernuni-hagen.zoom.us/j/8761457383?pwd=TjdsT2dqWFB6L0Z1NkpDWTFiblBZdz09
Meeting-ID: 876 145 7383
Kenncode: 13066109
ein. Bitte beachten Sie, dass Sie voraussichtlich nicht vor der o. g. Uhrzeit eingelassen werden, da unmittelbar vor der Prüfung noch eine Sitzung der Promotionskommission stattfindet. Direkt im Anschluss an den öffentlichen Vortrag und die öffentliche Diskussion über den Vortrag findet ein Kolloquium statt, an welchem alle Prüfungsberechtigten gemäß § 2 der Promotionsordnung sowie alle Mitglieder von Promotionsausschuss und -kommission teilnehmen dürfen.
Thema des Vortrags wird sein: "Formal Argumentation and Serialisability"
Zusammenfassung:
Die Formale Argumentation ist ein vielversprechendes Forschungsgebiet im Bereich der künstlichen Intelligenz. In dieser Arbeit betrachten wir den Begriff der Serialisierbarkeit von Semantiken der formalen Argumentation. Dabei handelt es sich um eine Methode, die eine prozedurale Darstellung der Schlussfolgerungen aus Argumentationsgraphen ermöglicht. Dazu untersuchen wir zunächst die theoretischen Hintergründe der Serialisierbarkeit und verwenden sie anschließend um Äquivalenzbegriffe und Erklärungsstrategien für Argumentationsgraphen zu charakterisieren.
Die Promotion wird befürwortet von Herrn Prof. Dr. Matthias Thimm.
