Compiling Knowledge into Decomposable Negation Normal Form

Adnan Darwiche. Compiling Knowledge into Decomposable Negation Normal Form. In Thomas Dean, editor, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages. pages 284-289, Morgan Kaufmann, 1999.

Authors

Adnan Darwiche

This author has not been identified. Look up 'Adnan Darwiche' in Google