An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence

James P. Delgrande, Kewen Wang

In this paper we investigate forgetting in disjunctive logic programs, where forgetting an atom from a program amounts to a reduction in the signature of that program. The goal is…