A Survey on Knowledge Compilation


Knowledge compilation is an AI technique for addressing computationally demanding reasoning problems. In this paper we survey recent results in knowledge compilation of propositional knowledge bases. We first define and limit the scope of such a technique, then we survey exact and approximate knowledge compilation methods. We include a discussion of compilation for non-monotonic knowledge bases.

Extracted Key Phrases

1 Figure or Table

Citations per Year

282 Citations

Semantic Scholar estimates that this publication has 282 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Cadoli1997ASO, title={A Survey on Knowledge Compilation}, author={Marco Cadoli and Francesco M. Donini}, journal={AI Commun.}, year={1997}, volume={10}, pages={137-150} }