3 papers
cs.AI2024
Temporal Numeric Planning with Patterns
Matteo Cardellini, Enrico Giunchiglia
We consider temporal numeric planning problems expressed in PDDL2.1 level 3, and show how to produce SMT formulas whose models correspond to valid plans of , and $(ii)…
cs.LO2023
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…
cs.AI2022
An ASP Framework for Efficient Urban Traffic Optimization
Matteo Cardellini
Avoiding congestion and controlling traffic in urban scenarios is becoming nowadays of paramount importance due to the rapid growth of our cities' population and vehicles. The effe…