2026-07-22T10:45:44Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:9890 2024-03-12T11:59:17Z ddc:004 open_access

Scalable Robotic Intra-Logistics with Answer Set Programming Obermeier, Philipp Answer Set Programming Logistics Planning Over time, Answer Set Programming (ASP) has gained traction as a versatile logic programming semantics with performant processing systems, used by a growing number of significant applications in academia and industry. However, this development is threatened by a lack of commonly accepted design patterns and techniques for ASP to address dynamic application on a real-world scale. To this end, we identified robotic intra-logistics as representative scenario, a major domain of interest in the context of the fourth industrial revolution. For this setting, we aim to provide a scalable and efficient ASP-based solutions by (1) stipulating a standardized test and benchmark framework; (2) leveraging existing ASP techniques through new design patterns; and (3) extending ASP with new functionalities. In this paper we will expand on the subject matter as well as detail our current progress and future plans. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Philipp Obermeier 2018 Is Part Of OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.ICLP.2018.24 urn:nbn:de:0030-drops-98907 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.24 eng https://creativecommons.org/licenses/by/3.0/legalcode