Compiling Knowledge into Decomposable Negation Normal Form.

Adnan Darwiche

Browse the full IJCAI paper archive.