On the tractable counting of theory models and its application to belief revision and truth maintenance

Adnan Darwiche

We introduced decomposable negation normal form (DNNF) recently as a tractable form of propositional theories, and provided a number of powerful logical operations that can be perf…