On the Equivalence between Disjunctive and Abductive Logic Programs

Chiaki Sakama, Katsumi Inoue. On the Equivalence between Disjunctive and Abductive Logic Programs. In ICLP. pages 489-503, 1994.

@inproceedings{SakamaI94,
  title = {On the Equivalence between Disjunctive and Abductive Logic Programs},
  author = {Chiaki Sakama and Katsumi Inoue},
  year = {1994},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/SakamaI94},
  cites = {0},
  citedby = {0},
  pages = {489-503},
  booktitle = {ICLP},
}