Omission-Based Abstraction for Answer Set Programs

Saribatur, Zeynep G.; Eiter, Thomas

doi:10.1017/S1471068420000095

by Zeynep G. Saribatur, Thomas Eiter

Reference:

Omission-Based Abstraction for Answer Set ProgramsZeynep G. Saribatur, Thomas EiterTheory Pract. Log. Program., volume 21, number 2, pages 145–195, 2021.

Bibtex Entry:

@article{zgstplp21,
  author    = {Zeynep G. Saribatur and
               Thomas Eiter},
  title     = {Omission-Based Abstraction for Answer Set Programs},
  journal   = {Theory Pract. Log. Program.},
  volume    = {21},
  number    = {2},
  pages     = {145--195},
  year      = {2021},
  url       = {https://doi.org/10.1017/S1471068420000095},
  doi       = {10.1017/S1471068420000095}
}