A General Framework for Knowledge Compilation

@inproceedings{Kautz1991AGF,
  title={A General Framework for Knowledge Compilation},
  author={Henry A. Kautz and Bart Selman},
  booktitle={PDK},
  year={1991}
}
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

Citations

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

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…