ML Anthology

On Tight Logic Programs and yet Another Translation from Normal Logic Programs to Propositional Logic

Fangzhen Lin, Jicheng Zhao
IJCAI 2003 pp. 853-858
/ijcai/2003/lin2003ijcai-tight/
PDF IJCAI Semantic Scholar

Cite

Text

Lin and Zhao. "On Tight Logic Programs and yet Another Translation from Normal Logic Programs to Propositional Logic." International Joint Conference on Artificial Intelligence, 2003.

Markdown

[Lin and Zhao. "On Tight Logic Programs and yet Another Translation from Normal Logic Programs to Propositional Logic." International Joint Conference on Artificial Intelligence, 2003.](https://mlanthology.org/ijcai/2003/lin2003ijcai-tight/)

BibTeX

@inproceedings{lin2003ijcai-tight,
  title     = {{On Tight Logic Programs and yet Another Translation from Normal Logic Programs to Propositional Logic}},
  author    = {Lin, Fangzhen and Zhao, Jicheng},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2003},
  pages     = {853-858},
  url       = {https://mlanthology.org/ijcai/2003/lin2003ijcai-tight/}
}