[PDF][PDF] Answer Set Programming in Healthcare: Extended Overview.

M Alviano, R Bertolucci, M Cardellini, C Dodaro… - IPS-RCRA@ AI …, 2020‏ - academia.edu
The ASP methodology has been recognized to be a viable solution to many practical
applications, including scheduling problems, and in particular in the healthcare domain, of …

Operating room scheduling via answer set programming: Improved encoding and test on real data

C Dodaro, G Galatà, M Gebser… - Journal of Logic and …, 2024‏ - academic.oup.com
Abstract The Operating Room Scheduling (ORS) problem deals with the optimization of daily
operating room surgery schedules. It is a challenging problem subject to many constraints …

An ASP-based solution for operating room scheduling with beds management

C Dodaro, G Galatà, MK Khan, M Maratea… - Rules and Reasoning …, 2019‏ - Springer
Abstract The Operating Room Scheduling (ORS) problem is the task of assigning patients to
operating rooms, taking into account different specialties, lengths and priority scores of each …

Evolutionary system design with answer set programming

C Haubelt, L Müller, K Neubauer, T Schaub, P Wanko - Algorithms, 2023‏ - mdpi.com
We address the problem of evolutionary system design (ESD) by means of answer set
programming modulo difference constraints (AMT). The goal of this design approach is to …

Scheduling pre-operative assessment clinic with answer set programming

S Caruso, G Galatà, M Maratea… - Journal of Logic and …, 2024‏ - academic.oup.com
The problem of scheduling pre-operative assessment clinic (PAC) consists of assigning
patients to a day for the exams needed before a surgical procedure, taking into account …

Rescheduling master surgical schedules via answer set programming

G Galatà, M Maratea, C Marte, M Mochi - Progress in Artificial Intelligence, 2024‏ - Springer
The problem of finding a Master Surgical Schedule (MSS) consists of scheduling different
specialties to the operating rooms of a hospital clinic. To produce a proper MSS, each …

Combining deep learning and ASP-based models for the semantic segmentation of medical images

P Bruno, F Calimeri, C Marte, M Manna - International Joint Conference …, 2021‏ - Springer
Automatic segmentation represents a huge breakthrough in computer-aided diagnosis and
medicine, as it allows to provide clinicians important with information for interventional and …

Decomposition approaches for scheduling chronic outpatients' clinical pathways in Answer Set Programming

P Cappanera, M Gavanelli, M Nonato… - Journal of Logic and …, 2023‏ - academic.oup.com
Chronic patients suffering from non-communicable diseases are often enrolled into a
diagnostic and therapeutic care program featuring a personalized care plan. Healthcare is …

An ASP-based framework for operating room scheduling

C Dodaro, G Galatà, M Maratea… - Intelligenza Artificiale, 2019‏ - content.iospress.com
Abstract The Operating Room Scheduling (ORS) problem is the task of assigning patients to
operating rooms, taking into account different specialties, the surgery and operating room …

Operating room (re) scheduling with bed management via ASP

C Dodaro, G Galatà, MK Khan, M Maratea… - Theory and Practice of …, 2022‏ - cambridge.org
The Operating Room Scheduling (ORS) problem is the task of assigning patients to
operating rooms (ORs), taking into account different specialties, lengths, and priority scores …