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 benutzen Sie bei der Erstellung von Abschlussarbeiten die unter https://github.com/aig-hagen/AIGthesis zur Verfügung gestellte Vorlage.
Themenangebote
- Bachelorarbeit "Ranking Semantiken für unendliche Argumentation Frameworks"
Ansprechperson: Lydia Blümel - Bachelorarbeit „Implementierung von Bipolaren Argumentationssystemen mit Answer Set Programming“
Ansprechperson: Lars Bengel - Bachelorarbeit „Pinpointing Conflicts in Temporal Knowledge Bases via Model Checking“
Ansprechperson: Dr. Jandson Santos Ribeiro Santos - Masterarbeit "SCC-rekursive Semantiken mittels Refuteoperatoren"
Ansprechperson: Lydia Blümel - Masterarbeit "Serialization und Serialization-Rankings auf nichtklassischen Semantiken"
Ansprechperson: Lydia Blümel - Masterarbeit „Kernel Contraction and Epistemic Choices“
Ansprechperson: Dr. Jandson Santos Ribeiro Santos
Themen in Bearbeitung
- Bachelorarbeit „Ein randomisierter Ansatz zum Schlussfolgern in Argumentationsgraphen basierend auf Random Walks“
Ansprechperson: Prof. Dr. Matthias Thimm - Bachelorarbeit „Konstruktion eines Algorithmus zur Berechnung des problematischen Inkonsistenzmaßes auf Basis von Answer Set Programming“
Ansprechperson: Isabelle Kuhlmann - Bachelorarbeit „Preprocessing Methoden für Abstrakte Argumentation“
Ansprechperson: Kenneth Skiba - Bachelorarbeit „SAT-Kodierungen für Quasi-Inkonsistenz“
Ansprechperson: Prof. Dr. Matthias Thimm - Bachelorarbeit: "Stochastische Lokale Suche in Abstrakter Argumentation mit Heuristiken basierend auf Maschinellen Lernverfahren"
Ansprechperson: Prof. Dr. Matthias Thimm - Bachelorarbeit: "Untersuchung des Einflusses von Graph-Eigenschaften auf die Vorhersagequalität maschineller Lernverfahren im Kontext abstrakter Argumentation"
Ansprechperson: Isabelle Kuhlmann - Einsatz von Hardware-in-the-loop Systemen zur Evaluation der IT-Sicherheit von visuellen Fahrassistenzsystemen
Ansprechperson: Prof. Dr. Matthias Thimm - Masterarbeit "Analyse eines Inkonsistenzmaßes auf minimalen 3-wertigen Modellen"
Ansprechperson: Prof. Dr. Matthias Thimm - Masterarbeit „Algorithmische Ansätze für harte Probleme in abstrakten Argumentationssystemen“
Ansprechperson: Prof. Dr. Matthias Thimm - Masterarbeit „Entwicklung von Algorithmen zur Elizitierung von sigma-äquivalenten abstrakten Argumentationssystemen“
Ansprechperson: Isabelle Kuhlmann - Masterarbeit „Extension Semantiken basierend auf Gradual Semantiken in Abstrakter Argumentation“
Ansprechperson: Kenneth Skiba - Masterarbeit „Implementierung von Rankbasierenden Semantiken für SetAFs“
Ansprechperson: Kenneth Skiba - Masterarbeit „Optimierung von kausaler Entdeckung durch abstrakte Argumentation“
Ansprechperson: Lars Bengel - Masterarbeit „Vorhersage von Labelings durch Klassifikationsalgorithmen“
Ansprechperson: Lars Bengel
