An Abductive Framework for General Logic Programs and other Nonmonotonic Systems

Gerhard Brewka, Kurt Konolige. An Abductive Framework for General Logic Programs and other Nonmonotonic Systems. In IJCAI. pages 9-17, 1993.

@inproceedings{BrewkaK93,
  title = {An Abductive Framework for General Logic Programs and other Nonmonotonic Systems},
  author = {Gerhard Brewka and Kurt Konolige},
  year = {1993},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/BrewkaK93},
  cites = {0},
  citedby = {0},
  pages = {9-17},
  booktitle = {IJCAI},
}