5 citations · 8 across the 9 of their papers we have counts for
3 papers · 1 filter
Solving Rehabilitation Scheduling problems via a Two-Phase ASP approach
Matteo Cardellini, Paolo De Nardi, Carmine Dodaro +4
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 tim…
Proceedings 38th International Conference on Logic Programming
Yuliya Lierler, Jose F. Morales, Carmine Dodaro +3
ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2022 were sought in all areas of logic programming, including but not li…
Anytime answer set optimization via unsatisfiable core shrinking
Mario Alviano, Carmine Dodaro
Unsatisfiable core analysis can boost the computation of optimum stable models for logic programs with weak constraints. However, current solvers employing unsatisfiable core analy…