ML Anthology

A Three-Valued Characterization for Strong Equivalence of Logic Programs

Pedro Cabalar
AAAI 2002 pp. 106-111
/aaai/2002/cabalar2002aaai-three/
PDF AAAI Semantic Scholar

Cite

Text

Cabalar. "A Three-Valued Characterization for Strong Equivalence of Logic Programs." AAAI Conference on Artificial Intelligence, 2002.

Markdown

[Cabalar. "A Three-Valued Characterization for Strong Equivalence of Logic Programs." AAAI Conference on Artificial Intelligence, 2002.](https://mlanthology.org/aaai/2002/cabalar2002aaai-three/)

BibTeX

@inproceedings{cabalar2002aaai-three,
  title     = {{A Three-Valued Characterization for Strong Equivalence of Logic Programs}},
  author    = {Cabalar, Pedro},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2002},
  pages     = {106-111},
  url       = {https://mlanthology.org/aaai/2002/cabalar2002aaai-three/}
}