The problem of scheduling chemotherapy treatments in oncology clinics is a complex problem, given that the solution has to satisfy (as much as possible) several requirements such as the cyclic nature of chemotherapy treatment plans, maintaining a constant number of patients, and the availability of resources, e.g., treatment time, nurses, and drugs. At the same time, realizing a satisfying schedule is of upmost importance for obtaining the best health outcomes. In this paper we first consider a specific instance of the problem which is employed in the San Martino Hospital in Genova, Italy, and present a solution to the problem based on Answer Set Programming (ASP). Then, we enrich the problem and the related ASP encoding considering further features often employed in other hospitals, desirable also in S. Martino, and/or considered in related papers. Results of an experimental analysis, conducted on the real data provided by the San Martino Hospital, show that ASP is an effective solving methodology also for this important scheduling problem. Under consideration for acceptance in TPLP.
An ASP-based Solution to the Medical Appointment Scheduling Problem
University of Pisa, Italy（意大利比萨大学）；Department of Information Engineering, Computer Science（信息工程系）；Mathematics, University of L’Aquila,Italy（数学，意大利拉奎拉大学）
Train Scheduling with Hybrid Answer Set Programming
SBB Switzerland（瑞士联邦铁路）；Potassco Solutions Germany（德国Potassco解决方案公司）；Simon Fraser University（西蒙弗雷泽大学）；Griffith University（格里菲斯大学）；University of Potsdam（波茨坦大学）
提出了一种基于回答集编程（ASP）的训练调度问题的解决方案。为此，我们追求一种混合的方法，扩展ASP与不同的约束，以考虑细粒度的时间。更确切地说，我们举例说明如何混合ASP系统clingo[DL]可以用来解决苛刻的计划和调度问题。特别是，我们研究了如何提高性能相结合的不同ASP解决技术，如近似和算法，预处理和编码技术，以解决大规模的，现实世界的训练调度实例。逻辑程序设计理论与实践（Theory and Practice of Logic Programming，TPLP）
The Design of the Fifth Answer Set Programming Competition
Università della Calabria（卡拉布里亚大学）；Helsinki Institute for Information Technology HIIT（赫尔辛基信息技术研究所 HIIT）；Aalto University（阿尔托大学）；University of Potsdam（波茨坦大学）；Università di Genova（热那亚大学）
答案集编程（ASP）是一种成熟的声明式编程范式，它在逻辑编程和非单调推理领域得到了发展。ASP解决技术的进步通常在比赛中进行评估，因为它发生在其他密切相关的问题解决技术，如SAT/SMT，QBF，计划和调度。ASP竞赛（通常）是两年一次的活动;然而，第五届ASP竞赛偏离了传统，以加入2014年维也纳夏季逻辑的FLoC奥林匹克运动会，这有望成为逻辑历史上最大的事件。ASP竞赛系列由卡拉布里亚大学（意大利），阿尔托大学（芬兰）和热那亚大学（意大利）联合举办，并隶属于第30届国际逻辑编程会议（ICLP 2014）。它具有完全重新设计的设置，包括轨道设计，评分模式以及坚持固定建模语言的新颖性，以推动ASP-Core-2标准的采用。基准域取自过去的版本，并将2013年提交的最佳系统包与新版本和求解器进行比较。逻辑程序设计理论与实践（Theory and Practice of Logic Programming，TPLP）
Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP
由于程序员可见寄存器的数量相对较少，传统的处理器体系结构在利用指令级并行（ILP）方面受到限制。因此，最近的处理器架构公开了它们的数据路径，使得编译器（1）可以将并行指令调度到不同的处理单元，并且（2）可以有效地利用处理单元的本地存储。在这些体系结构中，同步控制异步数据流（SCAD）体系结构是一种新的暴露的数据路径体系结构，其处理单元在其输入和输出端口处配备有先进先出（FIFO）缓冲器。与基于寄存器的机器相比，SCAD的最佳代码生成仍然是一个研究问题。特别是，SAT和SMT求解器分别用于生成SCAD的最优资源约束和最优时间约束调度。由于回答集编程（ASP）提供了更好的灵活性，在处理这样的调度问题，我们专注于在本文中使用的资源和时间约束的最佳SCAD代码生成的回答集求解器。作为一个主要的好处，使用ASP，我们能够生成\emph{all}最佳的时间表为一个给定的程序，允许一个研究其属性。此外，本文的实验结果表明，答案集求解器可以与SAT求解器和SMT求解器竞争。\emph{This paper is under consideration for acceptance in TPLP.}
Walk-In Multi-Stage Patient Flow Scheduling: An ASP Model with DES-Based Evaluation
Knowledge Technology Laboratory, Faculty of Information Technology, VNU University of Engineering and Technology（越南国立大学工程技术大学信息技术学院知识技术实验室）；College of Engineering & Computer Science, VinUniversity（Vin大学工程与计算机科学学院）；National Institute of Informatics（日本情报学研究所）；Faculty of Computer Science and Engineering, Ho Chi Minh City University of Technology (HCMUT), VNU-HCM（越南国立大学胡志明市理工大学计算机科学与工程系）
针对多科室医院步入式患者的流程调度问题，提出基于Answer Set Programming (ASP) 结合clingo的建模方法，优化两部分成本，并通过离散事件模拟 (DES) 评估。相比基于DES的基线，该方法减少了患者中位停留时间，增加了零等待患者比例。
