A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
A Syntactic Operator for Forgetting that Satisfies Strong Persistence
2019
Theory and Practice of Logic Programming
AbstractWhereas 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 aspects, leaving the practical issues largely untouched. Recent studies include results about what sets of properties operators should satisfy, as well as the abstract characterization of several operators and their theoretical limits. However, no concrete operators have been investigated.In this paper, we address
doi:10.1017/s1471068419000346
fatcat:6axekd7g6jd6njud6hq7c7wu3y