ML Anthology

A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints

Yi-Dong Shen, Jia-Huai You
AAAI 2007 pp. 483-488
/aaai/2007/shen2007aaai-generalized/
PDF AAAI Semantic Scholar

Cite

Text

Shen and You. "A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints." AAAI Conference on Artificial Intelligence, 2007.

Markdown

[Shen and You. "A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints." AAAI Conference on Artificial Intelligence, 2007.](https://mlanthology.org/aaai/2007/shen2007aaai-generalized/)

BibTeX

@inproceedings{shen2007aaai-generalized,
  title     = {{A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints}},
  author    = {Shen, Yi-Dong and You, Jia-Huai},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {483-488},
  url       = {https://mlanthology.org/aaai/2007/shen2007aaai-generalized/}
}