Recent Answer Set Programming Applications to Scheduling Problems in Digital Health

The Answer Set Programming (ASP) methodology has been recognized to be a viable solution to many practical applications, including scheduling problems in the Healthcare sector, where ASP proved to be an effective solution since 2017. In this paper, we present new scheduling problems in such field that have been successfully solved via ASP in the last few years. The interesting point is that some of these applications either deal with parts of the Healthcare process that were not previously addressed (i.e., the Pre-operative operations), or needed new solving approaches in order to be solved efficiently (i.e., the Chronic Outpatients problem solved via a Logic-Based Bender Decomposition method). For some of the problems discussed, we also provide preliminary experiments not appearing in previous publications on such problems. For all presented problems, we are also working on more "practical" issues, like solving rescheduling-related problems, providing explainability features, and implementing web applications for easy access to such solutions.