A Program-Level Approach to Revising Logic Programs under the Answer Set Semantics

Open in new window