Decomposition Methods for Solving Scheduling Problem Using Answer Set Programming

Mohammed  M. S. El-Kholany

IJCAI 2022poster0 citations

Decomposition Methods for Solving Scheduling Problem Using Answer Set Programming

Abstract

This study proposes solving scheduling problems in industrial applications using the decomposition approach. The proposed model has been built using Multi-shot Answer Set Programming with Difference Logic. We tested our model with some benchmark instances and the results showed that our model is comparable to Constraint Programming to other heuristics in the literature.

Knowledge Representation and Reasoning (KRR): General

BibTeX

@inproceedings{ijcai2022p827,
  title     = {Decomposition Methods for Solving Scheduling Problem Using Answer Set Programming},
  author    = {El-Kholany, Mohammed  M. S.},
  booktitle = {Proceedings of the Thirty-First International Joint Conference on
               Artificial Intelligence, {IJCAI-22}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Lud De Raedt},
  pages     = {5849--5850},
  year      = {2022},
  month     = {7},
  note      = {Doctoral Consortium},
  doi       = {10.24963/ijcai.2022/827},
  url       = {https://doi.org/10.24963/ijcai.2022/827},
}