Argumentation Theses
A list of past master and PhD thesis in the field of Formal Argumentation at the DBAI group of TU Wien. For further information on (and full text of) the theses please follow the provided links.
Master Theses
- Mathias Hofer. Towards parallel algorithms for abstract dialectical frameworks, 2022
- Matthias König. Graph-classes of argumentation frameworks with collective attacks - properties and complexity results, 2020
- Alexander Greßler. Argumentation Frameworks with Claims and Collective Attacks Complexity Results and Answer-Set Programming Encodings, 2019
- Patrick Bellositz. Advancements in Equivalence Checking for Abstract Argumentation Frameworks, 2018
- Atefeh Keshaverzi. Investigating Subclasses of Abstract Dialectical Frameworks, 2017
- Georg Heißenberger. A System For Advanced Graphical Argumentation Formalisms, 2016.
- Markus Hecher. Optimizing Second-Level Dynamic Programming Algorithms: the D-FLAT^2 system: encodings and experimental evaluation, 2015.
- Martin Diller. Solving Reasoning Problems on Abstract Dialectical Frameworks via Quantified Boolean Formulas, 2014.
- Thomas Linsbichler. On the Limits of Expressiveness in Abstract Argumentation Semantics: Realizability and Signatures, 2013.
- Christian Weichselbaum. Abstract Argumentation and Answer-Set Programming: Modelling the Resolution-Based Grounded Semantics, 2013.
- Christof Spanring. Intertranslatability Results for Abstract Argumentation Semantics, 2013.
- Stefan Ellmauthaler. Abstract Dialectical Frameworks: Properties, Complexity, and Implementation, 2012.
- Günther Charwat. Tree-Decomposition based Algorithms for Abstract Argumentation Frameworks, 2012.
- Sarah Alice Gaggl. Solving Argumentation Frameworks using Answer Set Programming, 2009.
PhD Theses
- Anna Rapberger Unpacking the Argument: A Claim-centric View on Abstract Argumentation, 2023.
- Martin Diller Realising argumentation using answer set programming and quantified boolean formulas, 2023.
- Sylwia Polberg. Developing the Abstract Dialectical Framework, 2017.
- Thomas Linsbichler. Advances in Abstract Argumentation - Expressiveness and Dynamics, 2017.
- Johannes Wallner. Complexity Results and Algorithms for Argumentation - Dung's Frameworks and Beyond, 2014.
- Sarah Alice Gaggl. A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation, 2013.
- Wolfgang Dvořák. Computational Aspects of Abstract Argumentation, 2012.