Incremental Recompilation of Knowledge

G. Gogic, C. H. Papadimitriou, M. 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 ``k…