Argumentation Tools
Some tools and scripts that I use in my research on formal argumentation and might be useful for others as well.Dung style Abstract Argumentation
- ASPARTIX-System: Quite flexible ASP-based tool to evaluate and query Dung AFs
- CEGARTIX: Tool to evaluate and query Dung AFs based on iterative SAT-solving
- Labellings with ASPARTIX: How to use ASPARTIX to compute 3-valued labellings and the justification status of arguments
- Translate Argumentation Frameworks: Implements Translations between argumentation semantics using ASP.
Extensions of Dung AFs
- Input Formats: Specifications of the input formats used at DBAI, TU Wien for AFs (ASPARTIX format), EAFs, AFRAs, AFs with Claims, well-formed AFs with claims.
- GERD: An ASP-based Tool to evaluate Extended Argumenatation Frameworks (EAFs)
- AFRAs: An extension for ASPARTIX that computes extensions of AFRAs.
- Evaluating AFs with Claims: An extension for ASPARTIX that computes claim sets.