{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T00:10:24Z","timestamp":1758672624353,"version":"3.44.0"},"reference-count":29,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.428.10","type":"journal-article","created":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T17:09:42Z","timestamp":1758042582000},"page":"127-143","source":"Crossref","is-referenced-by-count":0,"title":["Generating Plans for Belief-Desire-Intention (BDI) Agents Using Alternating-Time Temporal Logic (ATL)"],"prefix":"10.4204","volume":"428","author":[{"given":"Dylan","family":"L\u00e9veill\u00e9","sequence":"first","affiliation":[{"name":"Carleton University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2720","published-online":{"date-parts":[[2025,9,16]]},"reference":[{"key":"Alur1998","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/3-540-49213-5_2","article-title":"Alternating-time temporal logic*","volume":"1536","author":"Alur","year":"1998","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"Andersen2012","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-33353-8_8","article-title":"Conditional epistemic planning","volume":"7519 LNAI","author":"Andersen","year":"2012","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"Bienvenu2010","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1609\/aaai.v24i1.7587","article-title":"Knowledge compilation in the modal logic S5","volume":"1","author":"Bienvenu","year":"2010","journal-title":"Proceedings of the National Conference on Artificial Intelligence"},{"key":"bordini2007programming","doi-asserted-by":"publisher","DOI":"10.1002\/9780470061848","volume-title":"Programming multi-agent systems in AgentSpeak using Jason","author":"Bordini","year":"2007"},{"key":"Bratman1987-BRAIPA","doi-asserted-by":"publisher","DOI":"10.2307\/2185304","volume-title":"Intention, Plans, and Practical Reason","author":"Bratman","year":"1987"},{"key":"davies2024event","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/ica63002.2024.00023","article-title":"Event Sourcing in Jason: Event-Driven State Reconstruction for BDI Agents","volume-title":"2024 IEEE International Conference on Agents (ICA)","author":"Davies","year":"2024"},{"key":"DeSilva2009","doi-asserted-by":"publisher","first-page":"1006","DOI":"10.1145\/1558109.1558167","article-title":"First principles planning in BDI systems","volume":"2","author":"De Silva","year":"2009","journal-title":"Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS"},{"key":"Despouys2000","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/10720246_22","article-title":"Propice-plan: Toward a uniffed framework for planning and execution","volume":"1809","author":"Despouys","year":"2000","journal-title":"Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)"},{"key":"Georgeff1995","first-page":"312","article-title":"BDI agents: From theory to practice","author":"Georgeff","year":"1995","journal-title":"Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95)"},{"key":"Goranko2016","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1145\/3179998","article-title":"Game-theoretic semantics for alternating-time temporal logic","author":"Goranko","year":"2016","journal-title":"Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS"},{"key":"Kominis2015","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1609\/icaps.v25i1.13726","article-title":"Beliefs in multiagent planning: From one agent to many","volume":"2015-January","author":"Kominis","year":"2015","journal-title":"Proceedings International Conference on Automated Planning and Scheduling, ICAPS"},{"issue":"1","key":"Lomuscio2017","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s10009-015-0378-x","article-title":"MCMAS: an open-source model checker for the verification of multi-agent systems","volume":"19","author":"Lomuscio","year":"2017","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"1","key":"Meneguzzi2013","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0269888913000337","article-title":"Planning in BDI agents: A survey of the integration of planning algorithms and agent reasoning","volume":"30","author":"Meneguzzi","year":"2013","journal-title":"Knowledge Engineering Review"},{"key":"Meneguzzi2008","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-77564-5_5","article-title":"Composing high-level plans for declarative agent programming","volume":"4897 LNAI","author":"Meneguzzi","year":"2008","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"mora1999bdi","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/3-540-49057-4_2","article-title":"BDI models and systems: Reducing the gap","volume-title":"Intelligent Agents V: Agents Theories, Architectures, and Languages: 5th International Workshop, ATAL\u201998 Paris, France, July 4\u20137, 1998 Proceedings 5","author":"M\u00f3ra","year":"1999"},{"key":"Muise2015","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v29i1.9665","article-title":"Planning Over Multi-Agent Epistemic States: A Classical Planning Approach","author":"Muise","year":"2015","journal-title":"Distributed and Multi-Agent Planning (DMAP-15)"},{"key":"Nau1999","doi-asserted-by":"publisher","first-page":"968","DOI":"10.5555\/1624312.1624357","article-title":"SHOP: Simple hierarchical ordered planner","volume":"2","author":"Nau","year":"1999","journal-title":"IJCAI International Joint Conference on Artificial Intelligence"},{"key":"rao1996agentspeak","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/bfb0031845","article-title":"AgentSpeak (L): BDI agents speak out in a logical computable language","volume-title":"European workshop on modelling autonomous agents in a multi-agent world","author":"Rao","year":"1996"},{"volume-title":"Artificial intelligence: a modern approach","year":"2016","author":"Russell","key":"russell2016artificial"},{"key":"Sardina2006","doi-asserted-by":"publisher","first-page":"1001","DOI":"10.1145\/1160633.1160813","article-title":"Hierarchical planning in BDI agent programming languages: A formal approach","volume":"2006","author":"Sardina","year":"2006","journal-title":"Proceedings of the International Conference on Autonomous Agents"},{"key":"Schut2002","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/3-540-45634-1_15","article-title":"On partially observable MDPs and BDI models","volume":"2403","author":"Schut","year":"2002","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"Simari2006","doi-asserted-by":"publisher","first-page":"1041","DOI":"10.1145\/1160633.1160818","article-title":"On the relationship between MDPs and the BDI architecture","volume":"2006","author":"Simari","year":"2006","journal-title":"Proceedings of the International Conference on Autonomous Agents"},{"issue":"2","key":"Torreno2014","doi-asserted-by":"publisher","first-page":"606","DOI":"10.1007\/s10489-014-0540-2","article-title":"FMAP: Distributed cooperative multi-agent planning","volume":"41","author":"Torre\u00f1o","year":"2014","journal-title":"Applied Intelligence"},{"key":"VanDrimmelen2023PAL","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2023.105026","article-title":"To be announced","volume":"292","author":"Van Ditmarsch","year":"2023","journal-title":"Information and Computation"},{"key":"VanDrimmelen2003","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1109\/lics.2003.1210060","article-title":"Satisfiability in alternating-time temporal logic","author":"Van Drimmelen","year":"2003","journal-title":"Proceedings - Symposium on Logic in Computer Science"},{"volume-title":"Python tutorial","year":"1995","author":"Van Rossum","key":"van1995python"},{"key":"Vester2013","doi-asserted-by":"publisher","first-page":"194","DOI":"10.4204\/eptcs.119.17","article-title":"Alternating-time temporal logic with finite-memory strategies","volume":"119","author":"Vester","year":"2013","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"Vezina2023","doi-asserted-by":"publisher","first-page":"2394","DOI":"10.5555\/3545946.3598945","article-title":"Reasoning About Uncertainty in AgentSpeak Using Dynamic Epistemic Logic","volume":"2023-May","author":"Vezina","year":"2023","journal-title":"Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS"},{"key":"Walczak2007","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-71956-4_7","article-title":"Augmenting BDI agents with deliberative planning techniques","volume":"4411 LNAI","author":"Walczak","year":"2007","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T08:20:17Z","timestamp":1758615617000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2509.15238v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,16]]},"references-count":29,"URL":"https:\/\/doi.org\/10.4204\/eptcs.428.10","relation":{},"ISSN":["2075-2180"],"issn-type":[{"type":"electronic","value":"2075-2180"}],"subject":[],"published":{"date-parts":[[2025,9,16]]}}}