Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[PDF][PDF] Answer Set Programming in Healthcare: Extended Overview.
The ASP methodology has been recognized to be a viable solution to many practical
applications, including scheduling problems, and in particular in the healthcare domain, of …
applications, including scheduling problems, and in particular in the healthcare domain, of …
An ASP-based solution to the chemotherapy treatment scheduling problem
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 …
problem, given that the solution has to satisfy (as much as possible) several requirements …
Treewidth-aware reductions of normal ASP to SAT–Is normal ASP harder than SAT after all?
M Hecher - Artificial Intelligence, 2022 - Elsevier
Abstract Answer Set Programming (ASP) is a paradigm for modeling and solving problems
for knowledge representation and reasoning. There are plenty of results dedicated to …
for knowledge representation and reasoning. There are plenty of results dedicated to …
A two-phase ASP encoding for solving rehabilitation scheduling
The rehabilitation scheduling process consists of planning rehabilitation physiotherapy
sessions for patients, by assigning proper operators to them in a certain time slot of a given …
sessions for patients, by assigning proper operators to them in a certain time slot of a given …
Operating room scheduling via answer set programming: Improved encoding and test on real data
Abstract The Operating Room Scheduling (ORS) problem deals with the optimization of daily
operating room surgery schedules. It is a challenging problem subject to many constraints …
operating room surgery schedules. It is a challenging problem subject to many constraints …
Solving rehabilitation scheduling problems via a two-phase ASP approach
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 time …
physiotherapy sessions for patients, by assigning proper operators to them in a certain time …
Master surgical scheduling via answer set programming
The problem of finding a Master Surgical Schedule (MSS) consists of scheduling different
specialties to the operating rooms (ORs) of a hospital clinic. To produce a proper MSS, each …
specialties to the operating rooms (ORs) of a hospital clinic. To produce a proper MSS, each …
Declarative approaches to counterfactual explanations for classification
L Bertossi - Theory and Practice of Logic Programming, 2023 - cambridge.org
We propose answer-set programs that specify and compute counterfactual interventions on
entities that are input on a classification model. In relation to the outcome of the model, the …
entities that are input on a classification model. In relation to the outcome of the model, the …
A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
Deductive formalisms have been strongly developed in recent years; among them, answer
set programming (ASP) gained some momentum and has been lately fruitfully employed in …
set programming (ASP) gained some momentum and has been lately fruitfully employed in …
Scheduling pre-operative assessment clinic with answer set programming
The problem of scheduling pre-operative assessment clinic (PAC) consists of assigning
patients to a day for the exams needed before a surgical procedure, taking into account …
patients to a day for the exams needed before a surgical procedure, taking into account …