ASPforASPIC+

Source code and details

ASPforASPIC+ implements reasoning in the structured argumentation formalism of ASPIC+ based on direct answer set programming (ASP) encodings and incremental ASP solving, as detailed in [1,2]. It supports most central semantics in ASPIC+ without preferences and stable semantics under the elitist ordering and weakest-link principle.

References

[1] An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework. Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo. In Diego Calvanese, Esra Erdem, and Michael Thielscher, editors, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), pages 636-646. IJCAI.org, 2020.

[2] Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism. Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo. In Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer, editors, Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), pages 215–225. IJCAI.org, 2022.