Complexity Results for Abductive Logic Programming.

Thomas Eiter, Georg Gottlob, Nicola Leone

Browse the full LPNMR paper archive.