A core part of the rehabilitation scheduling process consists of planning rehabilitation physiotherapy sessions for patients, by assigning proper operators to them in a certain time slot of a given day, taking into account several legal, medical and ethical requirements and optimizations, e.g., patient's preferences and operator's work balancing. Being able to efficiently solve such problem is of upmost importance, in particular after the COVID-19 pandemic that significantly increased rehabilitation's needs. In this paper, we present a two-phase solution to rehabilitation scheduling based on Answer Set Programming, which proved to be an effective tool for solving practical scheduling problems. We first present a general encoding, and then add domain specific optimizations. Results of experiments performed on both synthetic and real benchmarks, the latter provided by ICS Maugeri, show the effectiveness of our solution as well as the impact of our domain specific optimizations. Under consideration in Theory and Practice of Logic Programming (TPLP).

翻译：康复调度过程的核心部分在于规划患者的物理治疗疗程，通过将合适的治疗师分配到特定日期的某一时段，同时考虑多项法律、医学及伦理要求与优化目标，例如患者偏好和治疗师工作量平衡。能够高效求解此类问题至关重要，尤其是在新冠疫情大幅增加康复需求之后。本文提出了一种基于回答集编程的两阶段康复调度解决方案，该方案已被证明是解决实际调度问题的有效工具。我们首先给出一个通用编码，随后添加领域特定优化。在合成基准与实际基准（后者由ICS Maugeri提供）上开展的实验结果表明，我们的解决方案具有有效性，且领域特定优化显著提升了性能。本文投稿于《Theory and Practice of Logic Programming》（TPLP）。