Software

The group contributed to several implementations during their research, with a particular aim to address computationally challenging problems. We list here systems hosted by us and by collaborating universities.

  • CEGARTIX: a SAT-based argumentation system for argumentation frameworks
  • Vispartix: a visualization of argumentation frameworks generated from knowledge bases (using the software ARVis)
  • ADFsys: an ASP-based argumentation system for abstract dialectical frameworks
  • SAT-based argumentation systems: software using SAT-extensions for argumentation frameworks
  • QADF: QBF-based implementation of ADF semantics
  • GERD: Genteel Extended argumentation Reasoning Device, an ASP-based system for computing extensions of EAFs
  • Pakota: MaxSAT and IP based implementation for extension and status enforcement for abstract argumentation
  • AbHS: A propositional abduction solver based on the implicit hitting set paradigm
  • AFSynth: AF synthesis via MaxSAT
  • aba2af: system for reasoning about acceptance in assumption-based argumentation via argumentation frameworks
  • k++ADF: a SAT-based reasoner for abstract dialectical frameworks
  • ASPARTIX: ASP-based system for reasoning in argumentation frameworks
  • ASP for ABA: ASP-based system for reasoning tasks in assumption-based argumentation
  • AcbAr: a solver for assumption-based argumentation instantiating optimized AFs
  • ASTRA: a tree-decomposition-based solver for reasoning in assumption-based argumentation (requires D-FLAT)
  • κ-solutions: a solver for dynamic reasoning in argumentation frameworks
Contact
image/svg+xml