ML Anthology

Simplifying a Logic Program Using Its Consequences

Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan
IJCAI 2015 pp. 3069-3075
/ijcai/2015/ji2015ijcai-simplifying/
IJCAI Semantic Scholar

Cite

Text

Ji et al. "Simplifying a Logic Program Using Its Consequences." International Joint Conference on Artificial Intelligence, 2015.

Markdown

[Ji et al. "Simplifying a Logic Program Using Its Consequences." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/ji2015ijcai-simplifying/)

BibTeX

@inproceedings{ji2015ijcai-simplifying,
  title     = {{Simplifying a Logic Program Using Its Consequences}},
  author    = {Ji, Jianmin and Wan, Hai and Huo, Ziwei and Yuan, Zhenfeng},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {3069-3075},
  url       = {https://mlanthology.org/ijcai/2015/ji2015ijcai-simplifying/}
}