Visualization of Solutions in Abstract Argumentation Frameworks

Theses

• Suggested Thesis Topics
• Completed Theses
  • Algebra und Diskrete Strukturen
  • Automatentheorie
  • Computational Logic
  • Logische Programmierung und Argumentation
  • Verifikation und formale quantitative Analyse
  • Wissensbasierte Systeme
• Currently Ongoing Theses

Toggle side column

Visualization of Solutions in Abstract Argumentation Frameworks

project thesis by Rajwardhan Kumar

•   Supervisor Sarah Alice Gaggl
•   Computational Logic
•   6 März 2015 – 27 Oktober 2016

Abstract argumentation frameworks (AFs) are typically represented as directed graphs. There can be many solutions for an AF depending on the specific semantics. The goal of this project is to analyze possible ways how to represent and navigate through the whole solution space for an AF with respect to a semantics.