Dynamic Magic Sets for Super-Consistent Answer Set Programs

Mario Alviano, Wolfgang Faber

For many practical applications of ASP, for instance data integration or planning, query answering is important, and therefore query optimization techniques for ASP are of great in…