“…This is why prime implicates are considered an interesting target language for knowledge compilation (Cadoli & Donini, 1997;Darwiche & Marquis, 2002). Prime implicates have also proved relevant to other sub-areas of AI, like distributed reasoning (Adjiman, Chatalic, Goasdoué, Rousset, & Simon, 2006), belief revision (Bittencourt, 2007;Pagnucco, 2006), non-monotonic reasoning (cf. Przymusinski, 1989), and characterizations of relevance (Lakemeyer, 1995;Lang, Liberatore, & Marquis, 2003).…”