Transforming Abductive Logic Programs to Disjunctive Programs

Katsumi Inoue, Chiaki Sakama. Transforming Abductive Logic Programs to Disjunctive Programs. In ICLP. pages 335-353, 1993.

@inproceedings{InoueS93,
  title = {Transforming Abductive Logic Programs to Disjunctive Programs},
  author = {Katsumi Inoue and Chiaki Sakama},
  year = {1993},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/InoueS93},
  cites = {0},
  citedby = {0},
  pages = {335-353},
  booktitle = {ICLP},
}