The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics.

Mario Alviano, Wolfgang Faber

Browse the full LPNMR paper archive.