A knowledge compilation map Export

@misc{darwiche02knowledge, abstract = {We propose a perspective on knowledge compilation which calls for analyzing different compilation approaches according to two key dimensions: the succinctness of the target compilation language, and the class of queries and transformations that the language supports in polytime. We then provide a knowledge compilation map, which analyzes a large number of existing target compilation languages according to their succinctness and their polytime transformations and queries. We argue that such...}, author = {Darwiche, A. and Marquis, P.}, citeulike-article-id = {527297}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.3379}, keywords = {knowledge\_compilation, logic, theorem\_proving}, posted-at = {2006-03-02 18:00:19}, priority = {0}, title = {A knowledge compilation map}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.3379}, year = {2002} }

TY - GEN ID - darwiche02knowledge L3 - citeulike-article-id:527297 N2 - We propose a perspective on knowledge compilation which calls for analyzing different compilation approaches according to two key dimensions: the succinctness of the target compilation language, and the class of queries and transformations that the language supports in polytime. We then provide a knowledge compilation map, which analyzes a large number of existing target compilation languages according to their succinctness and their polytime transformations and queries. We argue that such... TI - A knowledge compilation map KW - knowledge_compilation KW - logic KW - theorem_proving AU - Darwiche, A AU - Marquis, P PY - 2002/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.3379 ER -