Abductive Logic Programming

Antonis C. Kakas, Robert A. Kowalski, Francesca Toni. Abductive Logic Programming. Journal of Logic and Computation, 2(6):719-770, 1992.

@article{KakasKT92,
  title = {Abductive Logic Programming},
  author = {Antonis C. Kakas and Robert A. Kowalski and Francesca Toni},
  year = {1992},
  tags = {C++, logic programming, programming, logic},
  researchr = {https://researchr.org/publication/KakasKT92},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Computation},
  volume = {2},
  number = {6},
  pages = {719-770},
}