{"paper":{"title":"A Knowledge Compilation Map","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"A. Darwiche, P. Marquis","submitted_at":"2011-06-09T13:56:25Z","abstract_excerpt":"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 analysis is necessary for placing new    compilation approaches within the context o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1106.1819","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}