Dynamic Magic Sets and super-coherent answer set programs
Mario Alviano, Wolfgang Faber · AI Communications · 2011
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 interest. Magic Sets are one of these techniques, originally defined for