A Syntactic Operator for Forgetting that Satisfies Strong Persistence

Matti Berthold, Ricardo Gonçalves, Matthias Knorr +1

Whereas the operation of forgetting has recently seen a considerable amount of attention in the context of Answer Set Programming (ASP), most of it has focused on theoretical aspec…