Equivalence between answer-set programs under (partially) fixed input - Bliem, Bernhard; Woltran, Stefan (Annals of mathematics and artificial intelligence, 2018)
Keywords: Artificial Intelligence; Complex Systems; Computer Science; Context; Declarative programming; Equivalence; Investigations; Logic programs; Mathematical programming; Mathematics; Modularity; Problem solving; Equivalence; 68N17; Answer set programming