ML Anthology

Compiling Circumscriptive Theories into Logic Programs

Michael Gelfond, Vladimir Lifschitz
AAAI 1988 pp. 455-449
/aaai/1988/gelfond1988aaai-compiling/
PDF AAAI Semantic Scholar

Cite

Text

Gelfond and Lifschitz. "Compiling Circumscriptive Theories into Logic Programs." AAAI Conference on Artificial Intelligence, 1988.

Markdown

[Gelfond and Lifschitz. "Compiling Circumscriptive Theories into Logic Programs." AAAI Conference on Artificial Intelligence, 1988.](https://mlanthology.org/aaai/1988/gelfond1988aaai-compiling/)

BibTeX

@inproceedings{gelfond1988aaai-compiling,
  title     = {{Compiling Circumscriptive Theories into Logic Programs}},
  author    = {Gelfond, Michael and Lifschitz, Vladimir},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1988},
  pages     = {455-449},
  url       = {https://mlanthology.org/aaai/1988/gelfond1988aaai-compiling/}
}