{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T16:43:28Z","timestamp":1764175408215},"reference-count":45,"publisher":"Oxford University Press (OUP)","issue":"4","license":[{"start":{"date-parts":[[2023,3,29]],"date-time":"2023-03-29T00:00:00Z","timestamp":1680048000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,6,7]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>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 requirements and optimizations, e.g. patient\u2019s preferences and operator\u2019s work balancing. Being able to efficiently solve such problem is of upmost importance, in particular as a consequence of the COVID-19 pandemic that significantly increased rehabilitation\u2019s needs. The problem has been recently successfully solved via a two-phase solution based on answer set programming (ASP). In this paper, we focus on the problem of rescheduling the rehabilitation sessions, which comes into play when the original schedule cannot be implemented, for reasons that involve the unavailability of operators and\/or the absence of patients. We provide rescheduling solutions based on ASP for both phases, considering different scenarios. Results of experiments performed on real benchmarks, provided by ICS Maugeri, show that also the rescheduling problem can be solved in a satisfactory way. Finally, we present a web application that supports the usage of our solution.<\/jats:p>","DOI":"10.1093\/logcom\/exad014","type":"journal-article","created":{"date-parts":[[2023,3,30]],"date-time":"2023-03-30T05:44:32Z","timestamp":1680155072000},"page":"837-863","source":"Crossref","is-referenced-by-count":3,"title":["Rescheduling rehabilitation sessions with answer set programming"],"prefix":"10.1093","volume":"33","author":[{"given":"Matteo","family":"Cardellini","sequence":"first","affiliation":[{"name":"Polytechnic of Torino, Italy , and DIBRIS, University of Genova, Genova, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carmine","family":"Dodaro","sequence":"additional","affiliation":[{"name":"DeMaCS, University of Calabria , Rende, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Galat\u00e0","sequence":"additional","affiliation":[{"name":"SurgiQ srl, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna","family":"Giardini","sequence":"additional","affiliation":[{"name":"IT, ICS Maugeri, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Maratea","sequence":"additional","affiliation":[{"name":"DIBRIS, University of Genova , Genova, Italy, and DeMaCS, University of Calabria, Rende, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicholas","family":"Nisopoli","sequence":"additional","affiliation":[{"name":"SurgiQ srl, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Porro","sequence":"additional","affiliation":[{"name":"SurgiQ srl, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2023,3,29]]},"reference":[{"key":"2023060916152079400_ref1","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/978-3-030-20528-7_18","article-title":"Evaluation of disjunctive programs in WASP","volume-title":"Proceedings of the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019)","author":"Alviano","year":"2019"},{"key":"2023060916152079400_ref2","article-title":"Answer set programming in healthcare: extended overview","volume-title":"Joint Proceedings of the 8th IPS Workshop and the 27th RCRA Workshop co-located with AIxIA 2020","author":"Alviano","year":"2020"},{"key":"2023060916152079400_ref3","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1017\/S147106841600020X","article-title":"Anytime answer set optimization via unsatisfiable core shrinking","volume":"16","author":"Alviano","year":"2016","journal-title":"Theory and Practice of Logic Programming"},{"key":"2023060916152079400_ref4","doi-asserted-by":"crossref","first-page":"271","DOI":"10.3233\/FI-2020-1974","article-title":"Unsatisfiable core analysis and aggregates for optimum stable model search","volume":"176","author":"Alviano","year":"2020","journal-title":"Fundamenta Informaticae"},{"key":"2023060916152079400_ref5","first-page":"468","article-title":"An advanced answer set programming encoding for nurse scheduling","volume-title":"Advances in Artificial Intelligence\u2014Proceedings of the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017)","author":"Alviano","year":"2017"},{"key":"2023060916152079400_ref6","doi-asserted-by":"crossref","first-page":"109","DOI":"10.3233\/IA-170030","article-title":"Nurse (re)scheduling via answer set programming","volume":"12","author":"Alviano","year":"2018","journal-title":"Intelligenza Artificiale"},{"key":"2023060916152079400_ref7","first-page":"284","article-title":"Industrial-size scheduling with ASP+CP","volume-title":"Logic Programming and Nonmonotonic Reasoning\u201411th International Conference, LPNMR 2011, Vancouver, Canada, May 16\u201319, 2011. Proceedings","author":"Balduccini","year":"2011"},{"key":"2023060916152079400_ref8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"Baral","year":"2003"},{"key":"2023060916152079400_ref9","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/s10729-006-6281-y","article-title":"Incremental changes in the workforce to accommodate changes in demand","volume":"9","author":"Bard","year":"2006","journal-title":"Health Care Management Science"},{"key":"2023060916152079400_ref10","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/2043174.2043195","article-title":"Answer set programming at a glance","volume":"54","author":"Brewka","year":"2011","journal-title":"Communications of the ACM"},{"key":"2023060916152079400_ref11","doi-asserted-by":"crossref","first-page":"845","DOI":"10.1109\/69.877512","article-title":"Enhancing disjunctive datalog by constraints","volume":"12","author":"Buccafurri","year":"2000","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"2023060916152079400_ref12","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1017\/S1471068419000450","article-title":"ASP-Core-2 input language format","volume":"20","author":"Calimeri","year":"2020","journal-title":"Theory and Practice of Logic Programming"},{"key":"2023060916152079400_ref13","first-page":"111","article-title":"A two-phase ASP encoding for solving rehabilitation scheduling","volume-title":"Proceedings of the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021)","author":"Cardellini","year":"2021"},{"key":"2023060916152079400_ref14","article-title":"Solving rehabilitation scheduling problems via a two-phase ASP approach","volume-title":"Theory and Practice of Logic Programming","author":"Cardellini","year":"2022"},{"key":"2023060916152079400_ref15","doi-asserted-by":"crossref","first-page":"2006","DOI":"10.1016\/S0140-6736(20)32340-0","article-title":"Global estimates of the need for rehabilitation based on the Global Burden of Disease study 2019: a systematic analysis for the Global Burden of Disease Study 2019","volume":"396","author":"Cieza","year":"2020","journal-title":"The Lancet"},{"key":"2023060916152079400_ref16","first-page":"01","article-title":"Nurse rescheduling with shift preferences and minimal disruption","volume":"3","author":"Clark","year":"2011","journal-title":"Journal of Applied Operational Research"},{"key":"2023060916152079400_ref17","doi-asserted-by":"crossref","first-page":"835","DOI":"10.1017\/S1471068421000363","article-title":"An ASP-based solution to the chemotherapy treatment scheduling problem","volume":"21","author":"Dodaro","year":"2021","journal-title":"Theory Practice of Logic Programming"},{"key":"2023060916152079400_ref18","first-page":"67","article-title":"An ASP-based solution for operating room scheduling with beds management","volume-title":"Proceedings of the Third International Joint Conference on Rules and Reasoning (RuleML+RR 2019)","author":"Dodaro","year":"2019"},{"key":"2023060916152079400_ref19","first-page":"204","article-title":"Solving operating room scheduling problems with surgical teams via answer set programming","volume-title":"AIxIA 2020\u2014Advances in Artificial Intelligence\u2014Revised Selected Papers OF THE 19th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2020)","author":"Dodaro","year":"2020"},{"key":"2023060916152079400_ref20","first-page":"445","article-title":"Operating room scheduling via answer set programming","volume-title":"Advances in Artificial Intelligence\u2014Proceedings of the 17th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2018)","author":"Dodaro","year":"2018"},{"key":"2023060916152079400_ref21","doi-asserted-by":"crossref","first-page":"63","DOI":"10.3233\/IA-190020","article-title":"An ASP-based framework for operating room scheduling","volume":"13","author":"Dodaro","year":"2019","journal-title":"Intelligenza Artificiale"},{"key":"2023060916152079400_ref22","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/978-3-319-61660-5_27","article-title":"Nurse scheduling via answer set programming","volume-title":"Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)","author":"Dodaro","year":"2017"},{"key":"2023060916152079400_ref23","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1016\/j.artint.2010.04.002","article-title":"Semantics and complexity of recursive aggregates in answer set programming","volume":"175","author":"Faber","year":"2011","journal-title":"Artificial Intelligence"},{"key":"2023060916152079400_ref24","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/s13218-018-0548-6","article-title":"Industrial applications of answer set programming","volume":"32","author":"Falkner","year":"2018","journal-title":"K\u00fcnstliche Intelligenz"},{"key":"2023060916152079400_ref25","first-page":"2:1","article-title":"Theory solving made easy with clingo 5","volume-title":"Proceedings of ICLP (Technical Communications)","author":"Gebser","year":"2016"},{"key":"2023060916152079400_ref26","first-page":"368","article-title":"Progress in clasp Series 3","volume-title":"LPNMR","author":"Gebser","year":"2015"},{"key":"2023060916152079400_ref27","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.artint.2012.04.001","article-title":"Conflict-driven answer set solving: from theory to practice","volume":"187","author":"Gebser","year":"2012","journal-title":"Artificial Intelligence"},{"key":"2023060916152079400_ref28","first-page":"3","article-title":"The design of the seventh answer set programming competition","volume-title":"LPNMR","author":"Gebser","year":"2017"},{"key":"2023060916152079400_ref29","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1017\/S1471068419000061","article-title":"The seventh answer set programming competition: design and results","volume":"20","author":"Gebser","year":"2020","journal-title":"Theory and Practice of Logic Programming"},{"key":"2023060916152079400_ref30","doi-asserted-by":"crossref","first-page":"520","DOI":"10.1017\/S1471068418000182","article-title":"Routing driverless transport vehicles in car assembly with answer set programming","volume":"18","author":"Gebser","year":"2018","journal-title":"Theory Practice of Logic Programming"},{"key":"2023060916152079400_ref31","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","article-title":"Classical negation in logic programs and disjunctive databases","volume":"9","author":"Gelfond","year":"1991","journal-title":"New Generation Computing"},{"key":"2023060916152079400_ref32","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1080\/10170669.2012.703249","article-title":"Decision support system for rehabilitation scheduling to enhance the service quality and the effectiveness of hospital resource management","volume":"29","author":"Huang","year":"2012","journal-title":"Journal of the Chinese Institute of Industrial Engineers"},{"key":"2023060916152079400_ref33","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/j.cie.2018.08.030","article-title":"A hybrid genetic algorithm with 2D encoding for the scheduling of rehabilitation patients","volume":"125","author":"Huynh","year":"2018","journal-title":"Computers & Industrial Engineering"},{"key":"2023060916152079400_ref34","article-title":"A heuristic method in nurse rerostering following a sudden absence of nurses","author":"Kitada","year":"2010"},{"key":"2023060916152079400_ref35","article-title":"Physical therapy scheduling of inpatients based on improved genetic algorithm","volume":"1848","author":"Li","year":"2021","journal-title":"Journal of Physics: Conference Series"},{"key":"2023060916152079400_ref36","first-page":"07","article-title":"A solution method for treatment scheduling in rehabilitation hospitals with real-life requirements","volume":"30","author":"Liyang","year":"2018","journal-title":"IMA Journal of Management Mathematics"},{"key":"2023060916152079400_ref37","first-page":"01","volume-title":"An Artificial Immune System Based Approach for Solving the Nurse Re-Rostering Problem","author":"Maenhout","year":"2011"},{"key":"2023060916152079400_ref38","first-page":"241","article-title":"Logic programs with stable model semantics as a constraint programming paradigm","volume":"25","author":"Niemel\u00e4","year":"1999","journal-title":"AMAI"},{"key":"2023060916152079400_ref39","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/s10732-007-9040-4","article-title":"Solving a bi-objective nurse rerostering problem by using a utopic pareto genetic heuristic","volume":"14","author":"Pato","year":"2008","journal-title":"Journal of Heuristics"},{"key":"2023060916152079400_ref40","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1017\/S147106841100007X","article-title":"Team-building with answer set programming in the Gioia\u2013Tauro seaport","volume":"12","author":"Ricca","year":"2012","journal-title":"Theory and Practice of Logic Programming"},{"key":"2023060916152079400_ref41","doi-asserted-by":"crossref","DOI":"10.3389\/fneur.2021.643251","article-title":"The challenge of reorganizing rehabilitation services at the time of covid-19 pandemic: a new digital and artificial intelligence platform to support team work in planning and delivering safe and high quality care","volume":"12","author":"Saverino","year":"2021","journal-title":"Frontiers in Neurology"},{"key":"2023060916152079400_ref42","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1007\/s00291-011-0273-0","article-title":"Decision support for rehabilitation hospital scheduling","volume":"34","author":"Schimmelpfeng","year":"2012","journal-title":"OR Spectrum"},{"key":"2023060916152079400_ref43","first-page":"14246","article-title":"A deterministic approach to nurse rerostering problem","volume":"12","author":"Uhmn","year":"2017","journal-title":"International Journal of Applied Engineering Research"},{"key":"2023060916152079400_ref44","doi-asserted-by":"crossref","first-page":"700","DOI":"10.1108\/IMDS-12-2014-0372","article-title":"Dynamic appointment scheduling with patient preferences and choices","volume":"115","author":"Wang","year":"2015","journal-title":"Industrial Management & Data Systems"},{"key":"2023060916152079400_ref45","first-page":"12","article-title":"A novel approach for nurse rerostering based on a parallel algorithm","volume":"251","author":"Zden\u011bk","year":"2015","journal-title":"European Journal of Operational Research"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/33\/4\/837\/50555546\/exad014.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/33\/4\/837\/50555546\/exad014.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,9]],"date-time":"2023-06-09T17:14:23Z","timestamp":1686330863000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/33\/4\/837\/7091908"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,29]]},"references-count":45,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2023,3,29]]},"published-print":{"date-parts":[[2023,6,7]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exad014","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2023,6]]},"published":{"date-parts":[[2023,3,29]]}}}