Author: Philipp Obermeier
Paper Information
Title: | Scalable Robotic Intra-Logistics with Answer Set Programming |
Authors: | Philipp Obermeier |
Proceedings: | ICLP-DC ICLP'18 DC Proceedings |
Editor: | Paul Tarau |
Keywords: | Answer Set Programming, Logistics, Planning |
Abstract: | ABSTRACT. 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. |
Pages: | 5 |
Talk: | Jul 18 14:00 (Session 127D) |
Paper: |