no code implementations • 29 Jul 2019 • Matti Berthold, Ricardo Gonçalves, Matthias Knorr, João Leite
In this paper, we address this issue by presenting the first concrete operator that satisfies strong persistence - a property that seems to best capture the essence of forgetting in the context of ASP - whenever this is possible, and many other important properties.