16 citations · 102 across the 25 of their papers we have counts for
3 papers · 1 filter
CNL2ASP: converting controlled natural language sentences into ASP
Simone Caruso, Carmine Dodaro, Marco Maratea +2
Answer Set Programming (ASP) is a popular declarative programming language for solving hard combinatorial problems. Although ASP has gained widespread acceptance in academic and in…
Proceedings 39th International Conference on Logic Programming
Enrico Pontelli, Stefania Costantini, Carmine Dodaro +7
This volume contains the Technical Communications presented at the 39th International Conference on Logic Programming (ICLP 2023), held at Imperial College London, UK from July 9 t…
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…