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

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

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 WeinzierlProceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016 (Subbarao Kambhampati, ed.), pages 1058–1065, 2016, IJCAI/AAAI Press.

Bibtex Entry:

@inproceedings{DBLP:conf/ijcai/EiterKRW16,
  author    = {Thomas Eiter and
               Tobias Kaminski and
               Christoph Redl and
               Antonius Weinzierl},
  editor    = {Subbarao Kambhampati},
  title     = {Exploiting Partial Assignments for Efficient Evaluation of Answer
               Set Programs with External Source Access},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  pages     = {1058--1065},
  publisher = {{IJCAI/AAAI} Press},
  year      = {2016},
  url       = {http://www.ijcai.org/Abstract/16/154},
  timestamp = {Fri, 15 Jul 2016 15:58:28 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/EiterKRW16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}