A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling-Reference-Cited by-同舟云学术

A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling

Published:2021 Issue: Volume: Page:111-125
ISSN:0302-9743
Container-title:Rules and Reasoning
language:
Short-container-title:

Author:

Cardellini Matteo^ORCID,De Nardi Paolo,Dodaro Carmine^ORCID,Galatà Giuseppe^ORCID,Giardini Anna,Maratea Marco^ORCID,Porro Ivan^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-91167-6_8

Reference24 articles.

1. Lecture Notes in Computer Science;M Alviano,2019

2. Alviano, M., et al.: Answer set programming in healthcare: Extended overview. In: Joint Proceedings of the 8th IPS Workshop and the 27th RCRA Workshop Co-located with AIxIA 2020. CEUR Workshop Proceedings, vol. 2745. CEUR-WS.org (2020)

3. Alviano, M., Dodaro, C.: Unsatisfiable core analysis and aggregates for optimum stable model search. Fund. Inform. 176(3–4), 271–297 (2020)

4. Lecture Notes in Computer Science;M Alviano,2017

5. Alviano, M., Dodaro, C., Marques-Silva, J., Ricca, F.: Optimum stable model search: algorithms and implementation. J. Log. Comput. 30(4), 863–897 (2020)

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Operating Room Scheduling via Answer Set Programming: improved encoding and test on real data;Journal of Logic and Computation;2024-07-29

2. Knowledge and Reasoning;Reference Module in Life Sciences;2024

3. Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling;Theory and Practice of Logic Programming;2023-07

4. Master Surgical Scheduling via Answer Set Programming;Journal of Logic and Computation;2023-06-13

5. Decomposition approaches for scheduling chronic outpatients’ clinical pathways in Answer Set Programming;Journal of Logic and Computation;2023-06-08