Forgetting and Conflict Resolving in Disjunctive Logic Programming

  title={Forgetting and Conflict Resolving in Disjunctive Logic Programming},
  author={Thomas Eiter and Kewen Wang},
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one of our results shows that our notion of forgetting is completely captured by the classical forgetting. A transformation-based algorithm is also developed for computing the result of forgetting. We also provide an analysis of computational complexity. As an application of our approach, a fairly general framework for… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
15 Extracted Citations
20 Extracted References
Similar Papers

Similar Papers

Loading similar papers…