[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 …

An ASP-based solution to the chemotherapy treatment scheduling problem

C Dodaro, G Galata, A Grioni, M Maratea… - Theory and Practice of …, 2021 - cambridge.org
The problem of scheduling chemotherapy treatments in oncology clinics is a complex
problem, given that the solution has to satisfy (as much as possible) several requirements …

Treewidth-aware reductions of normal ASP to SAT–Is normal ASP harder than SAT after all?

M Hecher - Artificial Intelligence, 2022 - Elsevier
Abstract Answer Set Programming (ASP) is a paradigm for modeling and solving problems
for knowledge representation and reasoning. There are plenty of results dedicated to …

A two-phase ASP encoding for solving rehabilitation scheduling

M Cardellini, P De Nardi, C Dodaro, G Galatà… - … Joint Conference on …, 2021 - Springer
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 …

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 …

Solving rehabilitation scheduling problems via a two-phase ASP approach

M Cardellini, P De Nardi, C Dodaro… - Theory and Practice of …, 2024 - cambridge.org
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 …

Master surgical scheduling via answer set programming

M Mochi, G Galatà, M Maratea - Journal of Logic and …, 2023 - academic.oup.com
The problem of finding a Master Surgical Schedule (MSS) consists of scheduling different
specialties to the operating rooms (ORs) of a hospital clinic. To produce a proper MSS, each …

Declarative approaches to counterfactual explanations for classification

L Bertossi - Theory and Practice of Logic Programming, 2023 - cambridge.org
We propose answer-set programs that specify and compute counterfactual interventions on
entities that are input on a classification model. In relation to the outcome of the model, the …

A logic-based framework leveraging neural networks for studying the evolution of neurological disorders

F Calimeri, F Cauteruccio, L Cinelli… - Theory and Practice of …, 2021 - cambridge.org
Deductive formalisms have been strongly developed in recent years; among them, answer
set programming (ASP) gained some momentum and has been lately fruitfully employed in …

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 …