Intertranslatability of Labeling-Based Argumentation Semantics

Studienarbeiten

• Themenvorschläge für Studien- und Abschlussarbeiten
• Abgeschlossene Arbeiten
  • Algebra und Diskrete Strukturen
  • Automatentheorie
  • Computational Logic
  • Knowledge-aware Artificial Intelligence
  • Logische Programmierung und Argumentation
  • Verifikation und formale quantitative Analyse
  • Wissensbasierte Systeme
• Laufende Studienarbeiten

Toggle side column

Intertranslatability of Labeling-Based Argumentation Semantics

Studienarbeit von Umer Mushtaq

•   Betreuer Sarah Alice Gaggl
•   Computational Logic
•   02. Juni 2014 – 19. November 2015

In this project we investigate under which conditions one can translate an abstract argumentation framework F into another framework F' such that the labelings of F under semantics s coincide with the labelings of F' under semantics s'.