---
title: "Towards a Knowledge Compilation Map for Heterogeneous Representation Languages"
authors:
  - "Hélène Fargier"
  - "Pierre Marquis"
  - "Alexandre Niveau"
doi: ""
url: "https://ijcai.org/proceedings/2013/135"
pdf: "https://ijcai.org/proceedings/2013/0135.pdf"
venue: "Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence"
year: 2013
pages: "877-882"
track: ""
keywords:
---

# Towards a Knowledge Compilation Map for Heterogeneous Representation Languages

Hélène Fargier, Pierre Marquis, Alexandre Niveau

*Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence*, pages 877-882.

## Abstract

The knowledge compilation map introduced by Darwiche and Marquis takes advantage of a number of concepts (mainly queries, transformations, expressiveness, and succinctness) to compare the relative adequacy of representation languages to some AI problems. However, the framework is limited to the comparison of languages that are interpreted in a homogeneous way (formulae are interpreted as Boolean functions). This prevents one from comparing, on a formal basis, languages that are close in essence, such as OBDD, MDD, and ADD. To fill the gap, we present a generalized framework into which comparing formally heterogeneous representation languages becomes feasible. In particular, we explain how the key notions of queries and transformations, expressiveness, and succinctness can be lifted to the generalized setting.