A multiparametric view on answer set programming - Fichte, Johannes K.; Kronegger, Martin; Woltran, Stefan (Annals of mathematics and artificial intelligence, 2019)
Keywords: Algorithms; Artificial Intelligence; Complex Systems; Complexity; Computer Science; Computers; Consistency; Declarative programming; Graph representations; Hardness; Logic; Mathematical programming; Mathematics; Optimization; Parameterization; Parameters; Polynomials; Problem solving; Semantics; Services; Tightness; Answer set programming (ASP); Multiparametric complexity; Parameterized complexity theory; Secondary 68T30, 03B42, 03B70, 68T27, 8Q15; Multi parameterizations; Primary 03D15; Fixed-parameter tractability