{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:38:08Z","timestamp":1723016288931},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,7]]},"abstract":"<jats:p>In this paper, we investigate the module-checking problem of pushdown multi-agent systems (PMS) against ATL  and  ATL* specifications. We establish that for ATL, module checking of PMS is 2EXPTIME-complete, which is the same complexity as pushdown module-checking  for CTL. On the other hand, we show that  ATL* module-checking of PMS turns out to be 4EXPTIME-complete, hence exponentially harder than  both CTL* pushdown module-checking and ATL* model-checking of PMS. Our result for ATL* provides a rare example of a natural decision problem that is elementary yet but with a complexity that is higher than triply exponential-time.<\/jats:p>","DOI":"10.24963\/kr.2020\/17","type":"proceedings-article","created":{"date-parts":[[2020,8,20]],"date-time":"2020-08-20T00:39:16Z","timestamp":1597883956000},"page":"162-171","source":"Crossref","is-referenced-by-count":0,"title":["Module Checking of Pushdown Multi-agent Systems"],"prefix":"10.24963","author":[{"given":"Laura","family":"Bozzelli","sequence":"first","affiliation":[{"name":"University of Naples Federico II"}]},{"given":"Aniello","family":"Murano","sequence":"additional","affiliation":[{"name":"University of Naples Federico II"}]},{"given":"Adriano","family":"Peron","sequence":"additional","affiliation":[{"name":"University of Naples Federico II"}]}],"member":"10584","event":{"number":"17","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Association for Logic Programming","Center for Perspicuous Computing","European Association for Artificial Intelligence","Ontopic - The Virtual Knowledge Graph Company"],"acronym":"KR-2020","name":"17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}","start":{"date-parts":[[2020,9,12]]},"theme":"Artificial Intelligence","location":"Rhodes, Greece","end":{"date-parts":[[2020,9,18]]}},"container-title":["Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2020,11,5]],"date-time":"2020-11-05T16:18:32Z","timestamp":1604593112000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2020\/17"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2020\/17","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}