Forgetting in Answer Set Programming -- A Survey

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

Forgetting - or variable elimination - is an operation that allows the removal, from a knowledge base, of middle variables no longer deemed relevant. In recent years, many differen…