Answer Set Programming (ASP) is a declarative paradigm rooted in logic programming and non-monotonic reasoning, in which problems are encoded as logic programmes whose stable models, or “answer sets”, ...