Answer set programming (ASP) is a form of declarative programming oriented towards
difficult search problems. As an outgrowth of research on the use of nonmonotonic …

Abstract Hyperparameters of Deep Learning (DL) pipelines are crucial for their downstream
performance. While a large number of methods for Hyperparameter Optimization (HPO) …

The job shop scheduling problem is one of the most studied optimization problems to this
day and it becomes more and more important in the light of the fourth industrial revolution …

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 …

The goal of Inductive Logic Programming (ILP) is to learn a program that explains a set of
examples in the context of some pre-existing background knowledge. Until recently, most …

The use of robots in minimally invasive surgery has improved the quality of standard surgical
procedures. So far, only the automation of simple surgical actions has been investigated by …

Over the last decade, the use of robots in production and daily life has increased. With
increasingly complex tasks and interaction in different environments including humans …

Abstract Finite variant of Linear Temporal Logic (LTL f) is increasingly popular in Artificial
Intelligence (AI). Indeed, several AI applications rely on checking the satisfiability of temporal …

Abstract Background and Objective: When agents (eg a person and a social robot) perform a
joint activity to achieve a joint goal, they require sharing a relevant group intention, which …

The biological target identification process, a pivotal phase in the drug discovery workflow,
becomes particularly challenging when mutations affect proteins' mechanisms of action …