“…Complex combinatorial problems, possibly involving optimizations, such as the PAC problem, are usually the target applications of AI languages such as Answer Set Programming (ASP). Indeed ASP, thanks to its readability and the availability of efficient solvers [2,10,25,27], has been successfully employed for solving hard combinatorial problems in several research areas, and it has been also employed to solve many scheduling problems [1,4,5,15,16,18,35], also in industrial contexts (see, e.g., [3,20,21,37] for detailed descriptions of ASP applications).…”