{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T10:11:52Z","timestamp":1756462312989,"version":"3.37.3"},"reference-count":17,"publisher":"Cambridge University Press (CUP)","issue":"3-4","license":[{"start":{"date-parts":[[2018,8,10]],"date-time":"2018-08-10T00:00:00Z","timestamp":1533859200000},"content-version":"unspecified","delay-in-days":40,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2018,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We introduce the<jats:italic>asprilo<\/jats:italic><jats:sup>1<\/jats:sup>framework to facilitate experimental studies of approaches addressing complex dynamic applications. For this purpose, we have chosen the domain of robotic intra-logistics. This domain is not only highly relevant in the context of today's fourth industrial revolution but it moreover combines a multitude of challenging issues within a single uniform framework. This includes multi-agent planning, reasoning about action, change, resources, strategies, etc. In return,<jats:italic>asprilo<\/jats:italic>allows users to study alternative solutions as regards effectiveness and scalability. Although<jats:italic>asprilo<\/jats:italic>relies on Answer Set Programming and Python, it is readily usable by any system complying with its fact-oriented interface format. This makes it attractive for benchmarking and teaching well beyond logic programming. More precisely,<jats:italic>asprilo<\/jats:italic>consists of a versatile benchmark generator, solution checker and visualizer as well as a bunch of reference encodings featuring various ASP techniques. Importantly, the visualizer's animation capabilities are indispensable for complex scenarios like intra-logistics in order to inspect valid as well as invalid solution candidates. Also, it allows for graphically editing benchmark layouts that can be used as a basis for generating benchmark suites.<\/jats:p>","DOI":"10.1017\/s1471068418000200","type":"journal-article","created":{"date-parts":[[2018,8,10]],"date-time":"2018-08-10T09:44:17Z","timestamp":1533894257000},"page":"502-519","source":"Crossref","is-referenced-by-count":15,"title":["Experimenting with robotic intra-logistics domains"],"prefix":"10.1017","volume":"18","author":[{"given":"MARTIN","family":"GEBSER","sequence":"first","affiliation":[]},{"given":"PHILIPP","family":"OBERMEIER","sequence":"additional","affiliation":[]},{"given":"THOMAS","family":"OTTO","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7456-041X","authenticated-orcid":false,"given":"TORSTEN","family":"SCHAUB","sequence":"additional","affiliation":[]},{"given":"ORKUNT","family":"SABUNCU","sequence":"additional","affiliation":[]},{"given":"VAN","family":"NGUYEN","sequence":"additional","affiliation":[]},{"given":"TRAN CAO","family":"SON","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2018,8,10]]},"reference":[{"key":"S1471068418000200_ref12","first-page":"837","volume-title":"Proceedings of the Sixteenth Conference on Autonomous Agents and MultiAgent Systems (AAMAS'17)","author":"Ma","year":"2017"},{"doi-asserted-by":"publisher","key":"S1471068418000200_ref1","DOI":"10.3233\/FI-2016-1396"},{"key":"S1471068418000200_ref11","first-page":"1144","volume-title":"Proceedings of the Fifteenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'16)","author":"Ma","year":"2016"},{"key":"S1471068418000200_ref3","first-page":"13","volume-title":"Proceedings of the Eleventh International Conference of the Practice and Theory of Automated Timetabling (PATAT'16)","author":"Banbara","year":"2016"},{"doi-asserted-by":"publisher","key":"S1471068418000200_ref7","DOI":"10.1007\/978-3-642-40564-8_35"},{"doi-asserted-by":"crossref","unstructured":"Gebser M. , Kaminski R. , Kaufmann B. , and Schaub T. 2018. Multi-shot ASP solving with clingo. Theory and Practice of Logic Programming. To appear.","key":"S1471068418000200_ref8","DOI":"10.1017\/S1471068418000054"},{"key":"S1471068418000200_ref2","first-page":"468","volume-title":"Proceedings of the Sixteenth International Conference of the Italian Association for Artificial Intelligence","author":"Alviano","year":"2017"},{"doi-asserted-by":"publisher","key":"S1471068418000200_ref4","DOI":"10.1017\/S1471068417000138"},{"key":"S1471068418000200_ref17","first-page":"157","volume-title":"Proceedings of the Tenth Workshop on the Algorithmic Foundations of Robotics (WAFR'12)","author":"Yu","year":"2012"},{"key":"S1471068418000200_ref5","doi-asserted-by":"crossref","first-page":"267","DOI":"10.7551\/mitpress\/4298.003.0033","volume-title":"Proceedings of the International Conference on Logic Programming","author":"Cholewi\u0144ski","year":"1995"},{"key":"S1471068418000200_ref15","first-page":"1261","volume-title":"Proceedings of the Twenty-fourth National Conference on Artificial Intelligence (AAAI'10)","author":"Surynek","year":"2010"},{"key":"S1471068418000200_ref6","first-page":"290","volume-title":"Proceedings of the Twenty-Seventh National Conference on Artificial Intelligence (AAAI'13)","author":"Erdem","year":"2013"},{"doi-asserted-by":"publisher","key":"S1471068418000200_ref14","DOI":"10.1007\/3-540-45241-9_12"},{"key":"S1471068418000200_ref10","first-page":"23","volume-title":"Proceedings of the International Conference on Logic Programming (ICLP'99)","author":"Lifschitz","year":"1999"},{"doi-asserted-by":"publisher","key":"S1471068418000200_ref13","DOI":"10.24963\/ijcai.2017\/169"},{"doi-asserted-by":"publisher","key":"S1471068418000200_ref9","DOI":"10.1017\/S1471068417000242"},{"doi-asserted-by":"publisher","key":"S1471068418000200_ref16","DOI":"10.1007\/s10601-008-9061-0"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068418000200","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,9]],"date-time":"2024-07-09T03:19:21Z","timestamp":1720495161000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068418000200\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":17,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2018,7]]}},"alternative-id":["S1471068418000200"],"URL":"https:\/\/doi.org\/10.1017\/s1471068418000200","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"type":"print","value":"1471-0684"},{"type":"electronic","value":"1475-3081"}],"subject":[],"published":{"date-parts":[[2018,7]]}}}