Incremental Recompilation of Knowledge

  title={Incremental Recompilation of Knowledge},
  author={Goran Gogic and Christos H. Papadimitriou and Martha Sideri},
Approximating a general formula from above and below by Horn formulas (its Horn envelope and Horn core, respectively) was proposed by Selman and Kautz (1991, 1996) as a form of \knowledge compilation," supporting rapid approximate reasoning; on the negative side, this scheme is static in that it supports no updates, and has certain complexity drawbacks pointed out by Kavvadias, Papadimitriou and Sideri (1993). On the other hand, the many frameworks and schemes proposed in the literature for… CONTINUE READING
Highly Cited
This paper has 45 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
28 Citations
22 References
Similar Papers

Similar Papers

Loading similar papers…