ML Anthology

Compiling Knowledge into Decomposable Negation Normal Form

Adnan Darwiche
IJCAI 1999 pp. 284-289
/ijcai/1999/darwiche1999ijcai-compiling/
PDF IJCAI Semantic Scholar

Cite

Text

Darwiche. "Compiling Knowledge into Decomposable Negation Normal Form." International Joint Conference on Artificial Intelligence, 1999.

Markdown

[Darwiche. "Compiling Knowledge into Decomposable Negation Normal Form." International Joint Conference on Artificial Intelligence, 1999.](https://mlanthology.org/ijcai/1999/darwiche1999ijcai-compiling/)

BibTeX

@inproceedings{darwiche1999ijcai-compiling,
  title     = {{Compiling Knowledge into Decomposable Negation Normal Form}},
  author    = {Darwiche, Adnan},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1999},
  pages     = {284-289},
  url       = {https://mlanthology.org/ijcai/1999/darwiche1999ijcai-compiling/}
}