A General Framework for Knowledge Compilation

  title={A General Framework for Knowledge Compilation},
  author={Henry A. Kautz and Bart Selman},
Computational eeciency is a central concern in the design of knowledge representation systems. In order to obtain eecient systems it has been suggested that one should limit the form of the statements in the knowledge base or use an incomplete inference mechanism. The former approach is often too restrictive for practical applications, whereas the latter leads to uncertainty about exactly what can and cannot be inferred from the knowledge base. We present a third alternative, in which knowledge… CONTINUE READING


Publications citing this paper.
Showing 1-10 of 27 extracted citations


Publications referenced by this paper.

Similar Papers

Loading similar papers…