Preprocessing Argumentation Frameworks via Replacement Patterns[go to overview]
Diffrent abstract argumentation frameworks solvers are available today. While both specialized and constraint-based AF solvers have been developed, less attention has been so far put on the development of preprocessing and simplification techniques working directly on AFs. Dvorak et al. have developed different replacement patterns to preprocess and simplify AFs, which should lead to practical performance improvements and speedup for various AF solvers. This thesis aims to implement the presented replacment patterns with the help of the Tweety Project. Then it should be checked whether the results of Dvorak et al. are reproducible when using the AF solvers from ICCMA 2019.
27.05.21 - 10:15
via Big Blue Button