AI RESEARCH
On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
arXiv CS.AI
•
ArXi:2605.14721v1 Announce Type: new Strong equivalence between knowledge bases ensures the possibility of replacing one with the other without affecting reasoning outcomes, in any given context. This makes it a crucial property in nonmonotonic formalisms. In particular, the fields of logic programming and abstract argumentation provide primary examples in which this property has been subject to vast investigations.