A Survey on Knowledge Compilation Export

@article{cadoli97survey, abstract = {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. Keywords: Knowledge Representation, Efficiency of Reasoning}, author = {Cadoli, Marco and Donini, Francesco M.}, citeulike-article-id = {540487}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.6114}, journal = {AI Communications}, keywords = {knowledge\_compilation, logic, theorem\_proving}, number = {3-4}, pages = {137--150}, posted-at = {2006-03-08 17:30:55}, priority = {0}, title = {A Survey on Knowledge Compilation}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.6114}, volume = {10}, year = {1997} }

TY - JOUR ID - cadoli97survey L3 - citeulike-article-id:540487 N2 - 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. Keywords: Knowledge Representation, Efficiency of Reasoning IS - 3-4 JF - AI Communications EP - 150 TI - A Survey on Knowledge Compilation VL - 10 SP - 137 KW - knowledge_compilation KW - logic KW - theorem_proving AU - Cadoli, Marco AU - Donini, Francesco PY - 1997/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.6114 ER -