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 „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 „Extension Semantiken basierend auf Gradual Semantiken in Abstrakter Argumentation“
Ansprechperson: Kenneth Skiba - Masterarbeit „Implementierung von Rankbasierenden Semantiken für SetAFs“
Ansprechperson: Kenneth Skiba - Masterarbeit „Kernel Contraction and Epistemic Choices“
Ansprechperson: Dr. Jandson Santos Ribeiro Santos - Masterarbeit „Optimierung von kausaler Entdeck- ung durch abstrakte Argumentation“
Ansprechperson: Lars Bengel - Masterarbeit „Über die Komplexität der semi-qualifizierten Semantiken in abstrakten Argumentationssystemen“
Ansprechperson: Prof. Dr. Matthias Thimm
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 - 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 „Vorhersage von Labelings durch Klassifikationsalgorithmen“
Ansprechperson: Lars Bengel
