Strong Equivalence in Logic Programming and Abstract Argumentation

A recent paper on arXiv (2605.14721) explores the concept of strong equivalence in the realm of logic programming and abstract argumentation. This form of equivalence guarantees that substituting one knowledge base for another will not change reasoning results in any situation, which is vital for nonmonotonic formalisms. Although static scenarios show semantic equivalence between logic programs and abstract argumentation frameworks, this consistency falters in dynamic environments due to differing approaches to updates. The study proposes a novel definition of strong equivalence for logic programs that maintains equivalence when translating between specific types of logic programs and Dung-style argumentation frameworks.