Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access

Eiter, Thomas; Kaminski, Tobias; Redl, Christoph; Weinzierl, Antonius

doi:10.1613/jair.4175

by Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl

Reference:

Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source AccessThomas Eiter, Tobias Kaminski, Christoph Redl, Antonius WeinzierlJ. Artif. Intell. Res., volume 62, pages 665–727, 2018.

Bibtex Entry:

@article{DBLP:journals/jair/EiterKRW18,
  author    = {Thomas Eiter and
        Tobias Kaminski and
        Christoph Redl and
               Antonius Weinzierl},
  title     = {Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access},
  journal   = {J. Artif. Intell. Res.},
  volume    = {62},
  pages     = {665--727},
  year      = {2018},
  url       = {https://doi.org/10.1613/jair.4175},
  doi       = {10.1613/jair.4175}
}