Abschlussarbeiten
Im Folgenden finden Sie einige Themenangebote für Bachelor- und Masterarbeiten. Bei Interesse nehmen Sie bitte direkt per E-Mail Kontakt mit der angegebenen Ansprechperson auf.
Bitte beachten Sie, dass eine zwingende Voraussetzung für die Bearbeitung einer Abschlussarbeit bei uns die vorherige Teilnahme und der erfolgreiche Abschluss wenigstens einer Lehrveranstaltung des Lehrgebiets ist.
Bitte beachten Sie bei der Erstellung von schriftlichen Arbeiten und Präsentationen die Hinweise des Lehrgebiets: aig_guide.pdf (PDF 342 KB). Die in diesem Dokument gelisteten Empfehlungen werden bei Vorabversionen nicht noch einmal explizit angemerkt.
Bitte benutzen Sie bei der Erstellung von Abschlussarbeiten die unter https://github.com/aig-hagen/AIGthesis zur Verfügung gestellte Vorlage.
Erläuterung zum Workflow „Erstellung einer Abschlussarbeit“
Themenangebote
- Bachelor- oder Masterarbeit: "Algorithmen für initiale Mengen in abstrakter Argumentation"
Ansprechperson: Lars Bengel - Bachelor- oder Masterarbeit: "Studies on Gentle Revision and Contraction Strategies“
Ansprechperson: Dr. Kai Sauerwald - Bachelorarbeit: "A Skeptical Notion of Variable Forgetting"
Ansprechperson: Dr. Kai Sauerwald - Bachelorarbeit: "Inkonsistenzmessung in kausalen Modellen"
Ansprechperson: Prof. Dr. Matthias Thimm - Masterarbeit: "Die Komplexität von Abduktion in abstrakten Argumentationsgraphen"
Ansprechperson: Prof. Dr. Matthias Thimm - Masterarbeit: "SCC-rekursive Semantiken mittels Refuteoperatoren"
Ansprechperson: Lydia Blümel - Masterarbeit: "Serialization und Serialization-Rankings auf nichtklassischen Semantiken“
Ansprechperson: Lydia Blümel
Themen in Bearbeitung
- Bachelorarbeit: "Analyse der herausgeforderten Semantik in abstrakter Argumentation"
Ansprechperson: Lars Bengel - Bachelorarbeit: "Analyse des formelbasierten Contension-Inkonsistenzmaßes"
Ansprechperson: Isabelle Kuhlmann - Bachelorarbeit: "Analyse des kumulativen Contension-Inkonsistenzmaßes"
Ansprechperson: Isabelle Kuhlmann - Bachelorarbeit: "Eine empirische Korrelationsanalyse von Rangsemantiken in abstrakten Argumentationsgraphen"
Ansprechperson: Prof. Dr. Matthias Thimm - Bachelorarbeit: "Implementierung von Rangfunktionen über Labelling-Funktionen in Abstrakter Argumentation"
Ansprechperson: Kenneth Skiba - Bachelorarbeit: "Implementierung von Serialisierungssequenzen in abstrakten Argumentationsgraphen via Answer Set Programming"
Ansprechperson: Lars Bengel - Bachelorarbeit: "Verfeinerung des Akzeptanzproblems in abstrakter Argumentation"
Ansprechperson: Kenneth Skiba - Bachelorarbeit: "Vorverarbeitungsmethoden für Inkonsistenzmessung"
Ansprechperson: Isabelle Kuhlmann - Masterarbeit "Serialisierbarkeit von Argumentationssemantiken für Bipolare Argumentationsgraphen"
Ansprechperson: Prof. Dr. Matthias Thimm - Masterarbeit: "Aggregierte rangbasierte Semantik"
Ansprechperson: Kenneth Skiba - Masterarbeit: "Algorithmische Ansätze für harte Probleme in abstrakten Argumentationssystemen“
Ansprechperson: Prof. Dr. Matthias Thimm - Masterarbeit: "Analyse eines Inkonsistenzmaßes auf minimalen 3-wertigen Modellen"
Ansprechperson: Prof. Dr. Matthias Thimm - Masterarbeit: "Entwicklung algorithmischer Ansätze zur Berechnung des formelbasierten Contension-Inkonsistenzmaßes"
Ansprechperson: Isabelle Kuhlmann - Masterarbeit: "Entwicklung von Algorithmen für Inkonsistenzmessung auf Basis von QBF-Solving und ganzzahliger linearer Optimierung"
Ansprechperson: Isabelle Kuhlmann - Masterarbeit: "Optimierung von kausaler Entdeckung durch abstrakte Argumentation“
Ansprechperson: Lars Bengel - Masterarbeit: "Signaturen neuer Semantiken für abstrakte Argumentationsgraphen"
Ansprechperson: Prof. Dr. Matthias Thimm - Masterarbeit: "Unvollständige Argumentationsgraphen mit Mengenangriffen"
Ansprechperson: Kenneth Skiba
Abgeschlossene Themen
-
- Bachelor- oder Masterarbeit: "Evaluating Revision As Explanation for Human Propositional Reasoning over Two Variables“
Verfasser/in: Nina Thorwart
Ansprechperson: Dr. Kai Sauerwald
Jahr: 2024
Download - Bachelorarbeit "Analyse eines Inkonsistenzmaßes basierend Schlussfolgerungen in Teilmengen"
Verfasser/in: Alexandra Fries
Ansprechperson: Prof. Dr. Matthias Thimm
Jahr: 2024
Download - Bachelorarbeit: "An Investigation of a Notion of „Variable Forgetting“ that Minimizes Truth Values"
Verfasser/in: Christoph Kaplan
Ansprechperson: Dr. Kai Sauerwald
Jahr: 2024
Download - Bachelorarbeit: "Federated Learning with Dataset Condensation on Resource-Limited Devices"
Verfasser/in: Pascal Grosmann
Ansprechperson: Prof. Dr. Matthias Thimm
Jahr: 2024
Download - Bachelorarbeit: "Implementierung von gewichteten Argumentationssystemen mit Answer Set Programming"
Verfasser/in: Dominik Stummer
Ansprechperson: Lars Bengel
Jahr: 2024
Download - Bachelorarbeit: "Investigating global steel cycle modelling techniques and simulating climate mitigation and adaptation scenarios"
Verfasser/in: Merlin Jo Hosak
Ansprechperson: Jandson Santos Ribeiro Santos
Jahr: 2024
Download - Masterarbeit "Bewertung von auf neuronalen Netzen basierenden Segmentierungsverfahren für die Detektion von Schweißnahtgrenzen"
Verfasser/in: Badr El Yamouni
Ansprechperson: Prof. Dr. Matthias Thimm
Jahr: 2024
Download - Masterarbeit: "Analyse von Kanalzustandsinformationen mit Machine-Learning-Verfahren und Erklärbarkeit der Ergebnisse"
Verfasser/in: Karl Heinz Wichmann
Ansprechperson: Prof. Dr. Matthias Thimm
Jahr: 2024 - Masterarbeit: "Comparing Effectiveness and Efficiency of Large Language Models and Traditional Vulnerability Assessment Tools in IT Network Vulnerability Analysis"
Verfasser/in: Oliver Dzaeck
Ansprechperson: Prof. Dr. Matthias Thimm
Jahr: 2024 - Masterarbeit: "Cyclic Rationality for AGM Revision in Propositional Logic“
Verfasser/in: Florian Kauth
Ansprechperson: Dr. Kai Sauerwald
Jahr: 2024
Download - Masterarbeit: "First complete compilation-founded implementation of distance-based belief change"
Verfasser/in: Julia Hayat
Ansprechperson: Dr. Jandson Santos Ribeiro Santos
Jahr: 2024
Download - Masterarbeit: "Leveraging Synthetic Datasets for Enhanced Optimization of Mask R-CNNs through Comparative Analysis"
Verfasser/in: Tobias Wolf
Ansprechperson: Prof. Dr. Matthias Thimm
Jahr: 2024
Download - Masterarbeit: "Towards Computing Optimal Solutions for Belief Base Contraction"
Verfasser/in: Sebastian Mueller
Ansprechperson: Prof. Dr. Matthias Thimm
Jahr: 2024
Download - Masterarbeit: "Unvollständiges Abstraktes Dialektisches Argumentieren"
Verfasser/in: Eike-Christian Weiss
Ansprechperson: Kenneth Skiba
Jahr: 2024
Download - Masterarbeit: "Verifikation standardisierter Referenzprozesse zur Entwicklung von ML-Komponenten im Automobilkontext bezüglich Anwendbarkeit im sicherheitskritischen Kontext und Unterstützung einer möglichen Sicherheitsargumentation"
Verfasser/in: Lukas Bergmann
Ansprechperson: Prof. Dr. Matthias Thimm
Jahr: 2024
Download
- Bachelor- oder Masterarbeit: "Evaluating Revision As Explanation for Human Propositional Reasoning over Two Variables“
-
- Bachelorarbeit "Ranking Semantiken für unendliche Argumentation Frameworks"
Verfasser/in: Patrick Reif-Schimmel
Ansprechperson: Lydia Blümel
Jahr: 2023
Download - Bachelorarbeit "Schlussfolgern in Argumentationsgraphen durch randomisierter Wahl von Verteidigern"
Verfasser/in: Carina Sophie Benzin
Ansprechperson: Prof. Dr. Matthias Thimm
Jahr: 2023
Download - Bachelorarbeit „Implementierung von Bipolaren Argumentationssystemen mit Answer Set Programming“
Verfasser/in: Timon Wagener
Ansprechperson: Lars Bengel
Jahr: 2023
Download - Bachelorarbeit „Pinpointing Conflicts in Temporal Knowledge Bases via Model Checking“
Verfasser/in: Melinda Betz
Ansprechperson: Dr. Jandson Santos Ribeiro Santos
Jahr: 2023
Download - Bachelorarbeit: "Einfluss von selbstregulierter Datenauswahl und eine MLP-Auslesefunktion auf die Leistung von GCNs bei SE-ID"
Verfasser/in: Daniel Boy
Ansprechperson: Prof. Dr. Matthias Thimm
Jahr: 2023
Download - Bachelorarbeit: "Stochastische Lokale Suche in Abstrakter Argumentation mit Heuristiken basierend auf Maschinellen Lernverfahren"
Verfasser/in: Konrad Drees
Ansprechperson: Prof. Dr. Matthias Thimm
Jahr: 2023
Download - Bachelorarbeit: "Untersuchung des Einflusses von Graph-Eigenschaften auf die Vorhersagequalität maschineller Lernverfahren im Kontext abstrakter Argumentation"
Verfasser/in: Sandra Hoffmann
Ansprechperson: Isabelle Kuhlmann
Jahr: 2023
Download - Masterarbeit "Anwendung von Reinforcement Learning Algorithmen basierend auf einem kooperativen Multi-Agenten Szenario"
Verfasser/in: Julien Menth
Ansprechperson: Prof. Dr. Matthias Thimm
Jahr: 2023
Download - Masterarbeit "Predicting Disorders of Service Station Components using Machine Learning-based Classification"
Verfasser/in: Jana Kaszyda
Ansprechperson: Prof. Dr. Matthias Thimm
Jahr: 2023
Download - Masterarbeit "Utilizing Knowledge Graphs in Outside Knowledge-based Visual Question Answering"
Verfasser/in: Max Upravitelev
Ansprechperson: Isabelle Kuhlmann
Jahr: 2023
Download - Masterarbeit „Extension Semantiken basierend auf Gradual Semantiken in Abstrakter Argumentation“
Verfasser/in: Carola Katharina Bauer
Ansprechperson: Kenneth Skiba
Jahr: 2023
Download - Masterarbeit „Implementierung von Rankbasierenden Semantiken für SetAFs“
Verfasser/in: Dimitrij Pauls
Ansprechperson: Kenneth Skiba
Jahr: 2023
Download - Masterarbeit: "Weak-Admissibility Semantics in Abstract Argumentation Frameworks: Using Statistical Learning and Machine Learning to Determine Credulous Acceptability"
Verfasser/in: Carla Irán Sánchez Aguilar
Ansprechperson: Prof. Dr. Matthias Thimm
Jahr: 2023
Download
- Bachelorarbeit "Ranking Semantiken für unendliche Argumentation Frameworks"
-
- Bachelorarbeit „Ein randomisierter Ansatz zum Schlussfolgern in Argumentationsgraphen basierend auf Random Walks“
Verfasser/in: Dominik Hillmann
Ansprechperson: Prof. Dr. Matthias Thimm
Jahr: 2022
Download - Bachelorarbeit „SAT-Kodierungen für Quasi-Inkonsistenz“
Verfasser/in: Michael Annen
Ansprechperson: Prof. Dr. Matthias Thimm
Jahr: 2022
Download - Bachelorarbeit: „Einsatz von Hardware-in-the-loop Systemen zur Evaluation der IT-Sicherheit von visuellen Fahrassistenzsystemen“
Verfasser/in: Jan Steffen Jendrny
Ansprechperson: Prof. Dr. Matthias Thimm
Jahr: 2022
Download - Masterarbeit „Entwicklung von Algorithmen zur Elizitierung von sigma-äquivalenten abstrakten Argumentationssystemen“
Verfasser/in: Daniel Frahm
Ansprechperson: Isabelle Kuhlmann
Jahr: 2022
Download - Masterarbeit „Preprocessing Methoden für Abstrakte Argumentation“
Verfasser/in: Nils Gosing
Ansprechperson: Prof. Dr. Matthias Thimm
Jahr: 2022
Download - Masterarbeit „Vorhersage von Labelings durch Klassifikationsalgorithmen“
Verfasser/in: Marvin Peters
Ansprechperson: Lars Bengel
Jahr: 2022
Download
- Bachelorarbeit „Ein randomisierter Ansatz zum Schlussfolgern in Argumentationsgraphen basierend auf Random Walks“