1 Search Results for "Obermeier, Philipp"

Document
DOI: 10.4230/OASIcs.ICLP.2018.24
Scalable Robotic Intra-Logistics with Answer Set Programming

Authors: Philipp Obermeier

Published in: OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)

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.
Cite as

Philipp Obermeier. Scalable Robotic Intra-Logistics with Answer Set Programming. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 24:1-24:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@InProceedings{obermeier:OASIcs.ICLP.2018.24,
  author =	{Obermeier, Philipp},
  title =	{{Scalable Robotic Intra-Logistics with Answer Set Programming}},
  booktitle =	{Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)},
  pages =	{24:1--24:5},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-090-3},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{64},
  editor =	{Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.24},
  URN =		{urn:nbn:de:0030-drops-98907},
  doi =		{10.4230/OASIcs.ICLP.2018.24},
  annote =	{Keywords: Answer Set Programming, Logistics, Planning}
}
  • Refine by Author
  • 1 Obermeier, Philipp

  • Refine by Classification
  • 1 Computing methodologies → Logic programming and answer set programming

  • Refine by Keyword
  • 1 Answer Set Programming
  • 1 Logistics
  • 1 Planning

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2018

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact