1
On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
逻辑编程与抽象论证中的强等价概念，为知识库替换提供理论保障。
arXiv:2605.14721v1 Announce Type: new Abstract: Strong equivalence between knowledge bases ensures the possibility of replacing one with the other wit…