论文信息 - A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling - 字舞流文

A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling

Marco Maratea | Carmine Dodaro | Ivan Porro | Matteo Cardellini | Paolo De Nardi | Giuseppe Galatà | Anna Giardini | I. Porro | M. Maratea | Carmine Dodaro | A. Giardini | G. Galatà | Matteo Cardellini

[1] Miroslaw Truszczynski,et al. Answer set programming at a glance , 2011, Commun. ACM.

[2] Martin Gebser,et al. Progress in clasp Series 3 , 2015, LPNMR.

[3] P. Baiardi,et al. The Challenge of Reorganizing Rehabilitation Services at the Time of COVID-19 Pandemic: A New Digital and Artificial Intelligence Platform to Support Team Work in Planning and Delivering Safe and High Quality Care , 2021, Frontiers in Neurology.

[4] Mario Alviano,et al. Evaluation of Disjunctive Programs in WASP , 2019, LPNMR.

[5] Marco Maratea,et al. Nurse Scheduling via Answer Set Programming , 2017, LPNMR.

[6] Mario Alviano,et al. An Advanced Answer Set Programming Encoding for Nurse Scheduling , 2017, AI*IA.

[7] Chen-Fu Chien,et al. A hybrid genetic algorithm with 2D encoding for the scheduling of rehabilitation patients , 2018, Comput. Ind. Eng..

[8] Martin Gebser,et al. Conflict-driven answer set solving: From theory to practice , 2012, Artif. Intell..

[9] Stefan Helber,et al. Decision support for rehabilitation hospital scheduling , 2012, OR Spectr..

[10] Maratea Marco,et al. The Design of the Seventh Answer Set Programming Competition , 2017 .

[11] Mario Alviano,et al. Optimum stable model search: algorithms and implementation , 2020, J. Log. Comput..