When You Must Forget: beyond strong persistence when forgetting in answer set programming

Ricardo Gonçalves, Matthias Knorr, João Leite +1

Among the myriad of desirable properties discussed in the context of forgetting in Answer Set Programming (ASP), strong persistence naturally captures its essence. Recently, it has…