ML Anthology

From Answer Set Logic Programming to Circumscription via Logic of GK

Fangzhen Lin, Yi Zhou
IJCAI 2007 pp. 441-446
doi:10.1016/j.artint.2010.04.001 /ijcai/2007/lin2007ijcai-answer/
PDF IJCAI Semantic Scholar

Cite

Text

Lin and Zhou. "From Answer Set Logic Programming to Circumscription via Logic of GK." International Joint Conference on Artificial Intelligence, 2007. doi:10.1016/j.artint.2010.04.001

Markdown

[Lin and Zhou. "From Answer Set Logic Programming to Circumscription via Logic of GK." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/lin2007ijcai-answer/) doi:10.1016/j.artint.2010.04.001

BibTeX

@inproceedings{lin2007ijcai-answer,
  title     = {{From Answer Set Logic Programming to Circumscription via Logic of GK}},
  author    = {Lin, Fangzhen and Zhou, Yi},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {441-446},
  doi       = {10.1016/j.artint.2010.04.001},
  url       = {https://mlanthology.org/ijcai/2007/lin2007ijcai-answer/}
}