ASP code related to preventive maintenance scheduling
This directory contains the software related to papers on preventive maintenance scheduling. These papers are the following:
- Anssi Yli-Jyrä, Tomi Janhunen: Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery. Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings. Lecture Notes in Computer Science 13752, Springer 2022, pages 3-19.
- Anssi Yli-Jyrä, Masood Feyzbakhsh Rankooh, Tomi Janhunen: Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling. Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings. Lecture Notes in Computer Science 13880, Springer 2023, pages 279-294.
- Anssi Yli-Jyrä, Heini Ikävalko, Tomi Janhunen: Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization. 13th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2024, Sheffield, UK, April 8 - 11, 2024, Proceedings. Lecture Notes in Computer Science, pages 381–400.
The corresponding software -- mainly the ASP code -- is in three subdirectories: RuleML2022, PADL2023, and FoIKS2024. The software also includes the shell scripts of the directory bin-for-slurms, but not the ASP solvers (gringo, clasp, clingo, wasp and clingo-dl). Gringo, clasp, clingo and clingo-dl are obtained under the MIT License from Potassco, the Potsdam Answer Set Solving Collection. WASP is obtained under the Apache License from [https://alviano.github.io/wasp/].