ML Anthology

Knowledge Compilation Using Horn Approximations

Bart Selman, Henry A. Kautz
AAAI 1991 pp. 904-909
/aaai/1991/selman1991aaai-knowledge/
PDF AAAI Semantic Scholar

Cite

Text

Selman and Kautz. "Knowledge Compilation Using Horn Approximations." AAAI Conference on Artificial Intelligence, 1991.

Markdown

[Selman and Kautz. "Knowledge Compilation Using Horn Approximations." AAAI Conference on Artificial Intelligence, 1991.](https://mlanthology.org/aaai/1991/selman1991aaai-knowledge/)

BibTeX

@inproceedings{selman1991aaai-knowledge,
  title     = {{Knowledge Compilation Using Horn Approximations}},
  author    = {Selman, Bart and Kautz, Henry A.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1991},
  pages     = {904-909},
  url       = {https://mlanthology.org/aaai/1991/selman1991aaai-knowledge/}
}