ML Anthology

Existential Closures for Knowledge Compilation

Pierre Marquis
IJCAI 2011 pp. 996-1001
doi:10.5591/978-1-57735-516-8/IJCAI11-171 /ijcai/2011/marquis2011ijcai-existential/
IJCAI Semantic Scholar

Cite

Text

Marquis. "Existential Closures for Knowledge Compilation." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-171

Markdown

[Marquis. "Existential Closures for Knowledge Compilation." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/marquis2011ijcai-existential/) doi:10.5591/978-1-57735-516-8/IJCAI11-171

BibTeX

@inproceedings{marquis2011ijcai-existential,
  title     = {{Existential Closures for Knowledge Compilation}},
  author    = {Marquis, Pierre},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {996-1001},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-171},
  url       = {https://mlanthology.org/ijcai/2011/marquis2011ijcai-existential/}
}