Source code and details

SATforDL-ABA is a SAT-based system for reasoning in the default logic instantiation of the structured argumentation formalism assumption-based argumentation (ABA). The approach covers the central semantics admissible, complete, stable and grounded. The system solves these problems with counterexample-guided abstraction refinement algorithms using incremental SAT solving.


[1] Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation. Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo. In Computational Models of Argument: Proceedings of COMMA 2022, pages 236-247. IOS Press, 2022.