Mon 16 Jan 2023 17:00 - 17:30 at The Loft - Applications of Answer Set Programming (II) Chair(s): Mutsunori Banbara

The complex production processes in modern semiconductor manufacturing involve hundreds of operations on the route of a production lot, so that the period from lot release to completion can stretch over several months. Moreover, high-tech machines performing each of the operations are heterogeneous, may operate on individual wafers, lots or batches of lots in several stages, and require product-specific setups as well as dedicated maintenance procedures. This industrial setting is in sharp contrast to classical job-shop scheduling scenarios, where the production processes and machines are way less diverse and the primary focus is on solving methods for highly combinatorial yet abstract scheduling problems. In this work, we tackle the scheduling of realistic semiconductor manufacturing processes and model their elaborate requirements in hybrid Answer Set Programming, taking advantage of difference logic to incorporate machine processing, setup as well as maintenance times. While existing approaches schedule semiconductor manufacturing processes only locally, by applying greedy heuristics or isolatedly optimizing the allocation of particular machine groups, we study the prospects and limitations of scheduling at large scale.

Mon 16 Jan

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

16:00 - 17:30
Applications of Answer Set Programming (II)PADL at The Loft
Chair(s): Mutsunori Banbara Nagoya University
16:00
30m
Talk
Integrating ASP-based incremental reasoning in the videogame development workflow (Application Paper)
PADL
Denise Angilica Università Della Calabria, Giovambattista Ianni University of Calabria, Italy, Francesco Pacenza Department of Mathematics and Computer Science, University of Calabria, Jessica Zangari Università della Calabria
16:30
30m
Talk
UAV Compliance Checking using Answer Set Programming and Minimal Explanations towards Compliance (Application Paper)
PADL
Sarat Chandra Varanasi The University of Texas at Dallas, General Electric Research, Baoluo Meng GE Research, Christopher Alexander GE Research, Szabolcs Borgyos GE Research
17:00
30m
Talk
Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper)
PADL
Ramsha Ali University of Klagenfurt, Mohammed M. S. El-Kholany University of Klagenfurt, Martin Gebser University of Klagenfurt, Austria