ASPforABA
ASP encodings and algorithms for reasoning in assumption-based argumentation. Link to repository
Software
You can find the software I have written as part of my research here. If you find any bugs, want help using the systems, or want to request a feature to be added, please do not hesitate to contact me.
RASPIC
ASP-based algorithms for computing stability of conclusions and relevance of new information in abstract rule-based argumentation (ASPIC+) Link to repository
ASPforASPIC+
ASP encodings and algorithms for reasoning in abstract rule-based argumentation (ASPIC+) Link to repository
AcbAr
A system for solving acceptance problems and finding extensions in assumption-based argumentation based on a polynomially-bounded translation to abstract argumentation Link to repository
SATforDL-ABA
SAT-based algorithms for reasoning in the default logic instantiation of assumption-based argumentation Link to repository
aba2af
A system for reasoning in assumption-based argumentation via a translation to abstract argumentation Link to repository
choiceSAT
SAT-based optimization algorithms for finding satisfying models and deciding entailment in choice logics Link to repository