ML Anthology

Definability of Horn Revision from Horn Contraction

Zhi Qiang Zhuang, Maurice Pagnucco, Yan Zhang
IJCAI 2013 pp. 1205-1212
/ijcai/2013/zhuang2013ijcai-definability/
IJCAI Semantic Scholar

Cite

Text

Zhuang et al. "Definability of Horn Revision from Horn Contraction." International Joint Conference on Artificial Intelligence, 2013.

Markdown

[Zhuang et al. "Definability of Horn Revision from Horn Contraction." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/zhuang2013ijcai-definability/)

BibTeX

@inproceedings{zhuang2013ijcai-definability,
  title     = {{Definability of Horn Revision from Horn Contraction}},
  author    = {Zhuang, Zhi Qiang and Pagnucco, Maurice and Zhang, Yan},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {1205-1212},
  url       = {https://mlanthology.org/ijcai/2013/zhuang2013ijcai-definability/}
}