Exploiting Support Sets for Answer Set Programs with External Evaluations.
Thomas Eiter, Michael Fink, Christoph Redl, Daria Stepanova
Browse the full AAAI paper archive.
Thomas Eiter, Michael Fink, Christoph Redl, Daria Stepanova
Browse the full AAAI paper archive.