Tue 18 Jan 2022 10:45 - 11:10 at Directors - Declarative Solutions Chair(s): Francesco Calimeri

Scheduling is a crucial problem appearing in various domains, such as manufacturing, transportation, or healthcare. In most problem definitions, the goal is to schedule a given set of operations on available resources to complete the operations as early as possible. Unfortunately, most scheduling problems cannot be solved efficiently. Therefore, the research of suitable approximation methods is of primary importance.

This work suggests a novel approximation approach based on problem decomposition with data mining methodologies. This study proposes a constrained clustering algorithm to group the operations into clusters corresponding to time windows in which these operations must be scheduled. The decomposition process depends on two main phases. The first phase is to extract features to predict the sequence of the operations on each resource. These features are extracted either from the problem itself or from solutions obtained by other heuristics. The second phase is to develop a constrained clustering algorithm to assign each operation into a time window. We solved the problem using the Answer Set Programming. Evaluation results show that our proposed outperformed other heuristic schedulers in most cases, where features, like Remaining Processing Time, Machine Load, and Earliest Starting Time, contributed significantly to the solution quality.

Tue 18 Jan

Displayed time zone: Eastern Time (US & Canada) change

10:20 - 12:00
Declarative SolutionsPADL at Directors
Chair(s): Francesco Calimeri University of Calabria

Remote session chair

10:20
25m
Talk
Green Application Placement in the Cloud-IoT ContinuumRemote
PADL
Stefano Forti University of Pisa, Antonio Brogi Università di Pisa
10:45
25m
Talk
Decomposition-based job-shop scheduling with constrained clusteringRemote
PADL
Mohammed M. S. El-Kholany University of Klagenfurt, Martin Gebser University of Klagenfurt, Austria, Konstantin Schekotihin Alpen-Adria Universit�t Klagenfurt
11:10
25m
Talk
Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)Remote
PADL
Sarat Chandra Varanasi The University of Texas at Dallas, Joaquín Arias Universidad Rey Juan Carlos, Elmer Salazar The University of Texas at Dallas, Fang Li The University of Texas at Dallas, Kinjal Basu The University of Texas at Dallas, Gopal Gupta The University of Texas at Dallas
11:35
25m
Talk
Parallel Declarative Solutions of Sequencing Problems using Multi-valued Decision Diagrams and GPUsRemote
PADL
Fabio Tardivo New Mexico State University, Enrico Pontelli