{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,22]],"date-time":"2025-11-22T06:29:32Z","timestamp":1763792972939,"version":"3.45.0"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,11,22]],"date-time":"2025-11-22T00:00:00Z","timestamp":1763769600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,11,22]],"date-time":"2025-11-22T00:00:00Z","timestamp":1763769600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100007069","name":"Universit\u00e0 della Calabria","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100007069","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Med Syst"],"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>The Nuclear Medicine Scheduling problem consists of assigning patients to a day, on which the patient will undergo the medical check, the preparation, and the actual image detection process. The schedule of the patients should consider their different requirements and the available resources, e.g., varying time required for different diseases and radiopharmaceuticals used, number of injection chairs, and tomographs available. Recently, this problem has been solved using a logic-based approach using the Answer Set Programming (ASP) methodology. However, it may be the case that a computed schedule can not be implemented due to a sudden emergency and\/or unavailability of resources, thus rescheduling is needed. In this paper, we present an ASP-based approach to solve such a situation, which we call the Nuclear Medicine Rescheduling problem. Experiments on three scenarios in which rescheduling may be needed, and employing real data from a medium size hospital in Italy, show that our rescheduling solution provides satisfying results even when the concurrent number of emergencies and unavailability is significant. We finally present the design and implementation of a web application for the easy usage of our solutions.<\/jats:p>","DOI":"10.1007\/s10916-025-02301-0","type":"journal-article","created":{"date-parts":[[2025,11,22]],"date-time":"2025-11-22T06:26:31Z","timestamp":1763792791000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Logic-based Approach and Visualization for the Nuclear Medicine Rescheduling Problem"],"prefix":"10.1007","volume":"49","author":[{"given":"Cinzia","family":"Marte","sequence":"first","affiliation":[]},{"given":"Marco","family":"Mochi","sequence":"additional","affiliation":[]},{"given":"Carmine","family":"Dodaro","sequence":"additional","affiliation":[]},{"given":"Giuseppe","family":"Galat\u00e0","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Maratea","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,11,22]]},"reference":[{"key":"2301_CR1","unstructured":"Dodaro, C., Galat\u00e0, G., Maratea, M., Marte, C., and Mochi, M., Nuclear medicine rescheduling problem: A logic-based approach. In: HC@AIxIA. CEUR Workshop Proceedings. Vol. 3880, pp. 233\u2013246. CEUR-WS.org, Online 2024."},{"key":"2301_CR2","unstructured":"Dodaro, C., Galat\u00e0, G., Marte, C., Maratea, M., and Mochi, M., Nuclear medicine scheduling via answer set programming. In: Angelis, E. D., and Proietti, M. (Eds.), Proceedings of the 39th Italian Conference on Computational Logic (CILC 2024). CEUR Workshop Proceedings, vol. 3733. CEUR-WS.org, Online 2024."},{"key":"2301_CR3","doi-asserted-by":"crossref","unstructured":"Cardellini, M., Nardi, P. D., Dodaro, C., Galat\u00e0, G., Giardini, A., Maratea, M., and Porro, I., A two-phase ASP encoding for solving rehabilitation scheduling. In: Moschoyiannis, S., Pe\u00f1aloza, R., Vanthienen, J., Soylu, A., and Roman, D. (Eds.), Proceedings of the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021). LNCS, Vol. 12851, pp. 111\u2013125. Springer: Heidelberg, 2021.","DOI":"10.1007\/978-3-030-91167-6_8"},{"key":"2301_CR4","doi-asserted-by":"crossref","unstructured":"Dodaro, C., Galat\u00e0, G., Grioni, A., Maratea, M., Mochi, M., and Porro, I., An ASP-based solution to the chemotherapy treatment scheduling problem. Theory Pract. Log. Program. 21(6):835\u2013851, 2021.","DOI":"10.1017\/S1471068421000363"},{"key":"2301_CR5","doi-asserted-by":"crossref","unstructured":"Erdem, E., Gelfond, M., and Leone, N., Applications of answer set programming. AI Mag. 37(3):53\u201368, 2016.","DOI":"10.1609\/aimag.v37i3.2678"},{"key":"2301_CR6","doi-asserted-by":"crossref","unstructured":"Cappanera, P., Gavanelli, M., Nonato, M., and Roma, M., Logic-based Benders decomposition in answer set programming for chronic outpatients scheduling. Theory Pract. Log. Program. 23(4):848\u2013864, 2023.","DOI":"10.1017\/S147106842300025X"},{"key":"2301_CR7","doi-asserted-by":"crossref","unstructured":"Gebser, M., Obermeier, P., Schaub, T., Ratsch-Heitmann, M., and Runge, M., Routing driverless transport vehicles in car assembly with answer set programming. Theory Pract. Log. Program. 18(3-4):520\u2013534, 2018.","DOI":"10.1017\/S1471068418000182"},{"key":"2301_CR8","doi-asserted-by":"crossref","unstructured":"Falkner, A. A., Friedrich, G., Schekotihin, K., Taupe, R., and Teppan, E. C., Industrial applications of answer set programming. K\u00fcnstliche Intelligenz 32(2-3):165\u2013176, 2018.","DOI":"10.1007\/s13218-018-0548-6"},{"key":"2301_CR9","doi-asserted-by":"crossref","unstructured":"Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Maratea, M., Ricca, F., and Schaub, T., ASP-Core-2 input language format. Theory Pract. Log. Program. 20(2): 294\u2013309, 2020.","DOI":"10.1017\/S1471068419000450"},{"key":"2301_CR10","doi-asserted-by":"crossref","unstructured":"Brewka, G., Eiter, T., and Truszczynski, M., Answer set programming at a glance. Commun. ACM 54(12):92\u2013103, 2011.","DOI":"10.1145\/2043174.2043195"},{"key":"2301_CR11","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., and Wanko, P., Theory solving made easy with clingo 5. In: ICLP (Technical Communications). OASICS, Vol. 52, pp. 2:1\u20132:15. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Online 2016."},{"key":"2301_CR12","doi-asserted-by":"crossref","unstructured":"Gebser, M., Leone, N., Maratea, M., Perri, S., Ricca, F., and Schaub, T., Evaluation techniques and systems for answer set programming: a survey. In: Lang, J., (Ed.), IJCAI, pp. 5450\u20135456. ijcai.org, Darmstadt 2018.","DOI":"10.24963\/ijcai.2018\/769"},{"key":"2301_CR13","doi-asserted-by":"crossref","unstructured":"Alviano, M., Amendola, G., Dodaro, C., Leone, N., Maratea, M., and Ricca, F., Evaluation of disjunctive programs in WASP. In: LPNMR 2019. LNCS, Vol. 11481, pp. 241\u2013255. Springer: Heidelberg, 2019.","DOI":"10.1007\/978-3-030-20528-7_18"},{"key":"2301_CR14","doi-asserted-by":"crossref","unstructured":"Alviano, M., and Dodaro, C., Unsatisfiable core analysis and aggregates for optimum stable model search. Fundam. Inform. 176(3-4):271\u2013297, 2020.","DOI":"10.3233\/FI-2020-1974"},{"key":"2301_CR15","doi-asserted-by":"crossref","unstructured":"Buccafurri, F., Leone, N., and Rullo, P., Enhancing disjunctive datalog by constraints. IEEE Trans. Knowl. Data Eng. 12(5):845\u2013860, 2000","DOI":"10.1109\/69.877512"},{"key":"2301_CR16","doi-asserted-by":"crossref","unstructured":"Faber, W., Pfeifer, G., and Leone, N., Semantics and complexity of recursive aggregates in answer set programming. Artif. Intell. 175(1):278\u2013298, 2011.","DOI":"10.1016\/j.artint.2010.04.002"},{"key":"2301_CR17","doi-asserted-by":"crossref","unstructured":"Vagal, A., Mahoney, M., Allen, B., Kapur, S., Udstuen, G., Wang, L., Braley, S., Makramalla, A., Chadalavada, S., and Choe, K. A., et al., Rescheduling nonurgent care in radiology: implementation during the coronavirus disease 2019 (covid-19) pandemic. J. Am. Coll. Radiol. 17(7):882\u2013889, 2020.","DOI":"10.1016\/j.jacr.2020.05.010"},{"key":"2301_CR18","doi-asserted-by":"crossref","unstructured":"O\u00a0AlRowaili, M., Ahmed, A. E., and Areabi, H. A., Factors associated with no-shows and rescheduling mri appointments. BMC Health Serv. Res. 16:1\u20137, 2016.","DOI":"10.1186\/s12913-016-1927-z"},{"key":"2301_CR19","doi-asserted-by":"crossref","unstructured":"Reinus, W. R., Enyan, A., Flanagan, P., Pim, B., Sallee, D. S., and Segrist, J., A proposed scheduling model to improve use of computed tomography facilities. J. Med. Syst. 24(2):61\u201376, 2000.","DOI":"10.1023\/A:1005512729184"},{"key":"2301_CR20","doi-asserted-by":"crossref","unstructured":"Seltzer, S. E., Rhea, J. T., Thrall, J. H., Saini, S., and Sumner, J., Improving the efficiency and service of computed tomographic scanning. Acad. Radiol. 1(2):164\u2013170, 1994.","DOI":"10.1016\/S1076-6332(05)80837-2"},{"key":"2301_CR21","doi-asserted-by":"crossref","unstructured":"P\u00e9rez, E., Ntaimo, L., Wilhelm, W. E., Bailey, C., and McCormack, P., Patient and resource scheduling of multi-step medical procedures in nuclear medicine. IISE Trans. Healthc. Syst. Eng. 1(3):168\u2013184, 2011.","DOI":"10.1080\/19488300.2011.617718"},{"key":"2301_CR22","doi-asserted-by":"crossref","unstructured":"Xiao, Q., Luo, L., Zhao, S., Ran, X.-B., and Feng, Y.-B., Online appointment scheduling for a nuclear medicine department in a chinese hospital. Comput. Math. Methods Med. 2018, 2018.","DOI":"10.1155\/2018\/5148215"},{"key":"2301_CR23","doi-asserted-by":"crossref","unstructured":"Akhavizadegan, F., Ansarifar, J., and Jolai, F., A novel approach to determine a tactical and operational decision for dynamic appointment scheduling at nuclear medical center. Comput. Oper. Res. 78:267\u2013277, 2017.","DOI":"10.1016\/j.cor.2016.09.015"},{"key":"2301_CR24","unstructured":"Alviano, M., Bertolucci, R., Cardellini, M., Dodaro, C., Galat\u00e0, G., Khan, M. K., Maratea, M., Mochi, M., Morozan, V., Porro, I., and Schouten, M., Answer set programming in healthcare: Extended overview. In: IPS and RCRA 2020. CEUR Workshop Proceedings, Vol. 2745. CEUR-WS.org, Online 2020."},{"key":"2301_CR25","doi-asserted-by":"crossref","unstructured":"Dodaro, C., and Maratea, M., Nurse scheduling via answer set programming. In: LPNMR. LNCS, Vol. 10377, pp. 301\u2013307. Springer: Heidelberg, 2017.","DOI":"10.1007\/978-3-319-61660-5_27"},{"key":"2301_CR26","doi-asserted-by":"crossref","unstructured":"Alviano, M., Dodaro, C., and Maratea, M., Nurse (re)scheduling via answer set programming. Intelligenza Artificiale 12(2):109\u2013124, 2018.","DOI":"10.3233\/IA-170030"},{"key":"2301_CR27","doi-asserted-by":"crossref","unstructured":"Dodaro, C., Galat\u00e0, G., Maratea, M., and Porro, I., Operating room scheduling via answer set programming. In: AI*IA. LNCS, Vol. 11298, pp. 445\u2013459. Springer: Heidelberg, 2018.","DOI":"10.1007\/978-3-030-03840-3_33"},{"key":"2301_CR28","doi-asserted-by":"crossref","unstructured":"Dodaro, C., Galat\u00e0, G., Maratea, M., and Porro, I., An ASP-based framework for operating room scheduling. Intelligenza Artificiale 13(1):63\u201377, 2019.","DOI":"10.3233\/IA-190020"},{"key":"2301_CR29","doi-asserted-by":"crossref","unstructured":"Mochi, M., Galat\u00e0, G., and Maratea, M., Master surgical scheduling via answer set programming. J. Log. Comput. 33(8):1777\u20131803, 2023.","DOI":"10.1093\/logcom\/exad035"},{"key":"2301_CR30","doi-asserted-by":"crossref","unstructured":"Cardellini, M., Dodaro, C., Galat\u00e0, G., Giardini, A., Maratea, M., Nisopoli, N., and Porro, I., Rescheduling rehabilitation sessions with answer set programming. J. Log. Comput. 33(4):837\u2013863, 2023.","DOI":"10.1093\/logcom\/exad014"},{"key":"2301_CR31","doi-asserted-by":"crossref","unstructured":"Galat\u00e0, G., Maratea, M., Mochi, M., and Marte, C., Rescheduling master surgical schedules via answer set programming. Prog. Artif. Intell. To appear. 2025.","DOI":"10.1007\/s13748-024-00342-z"}],"container-title":["Journal of Medical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10916-025-02301-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10916-025-02301-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10916-025-02301-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,22]],"date-time":"2025-11-22T06:26:37Z","timestamp":1763792797000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10916-025-02301-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,22]]},"references-count":31,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2025,12]]}},"alternative-id":["2301"],"URL":"https:\/\/doi.org\/10.1007\/s10916-025-02301-0","relation":{},"ISSN":["1573-689X"],"issn-type":[{"value":"1573-689X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,22]]},"assertion":[{"value":"30 May 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 November 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 November 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics Declaration"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent to Participate Declaration"}},{"value":"The authors declare no competing interests.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing Interest"}}],"article-number":"167"}}