References

  1. Chitta Baral, Gregory Gelfond, Enrico Pontelli & Tran Cao Son (2015): An Action Language for Multi-Agent Domains: Foundations. CoRR abs/1511.01960. Available at http://arxiv.org/abs/1511.01960.
  2. Thomas Bolander & Mikkel Birkegaard Andersen (2011): Epistemic planning for single-and multi-agent systems. Journal of Applied Non-Classical Logics 21(1), pp. 9–34, doi:10.1016/0010-0277(83)90004-5.
  3. Grady Booch, Francesco Fabiano, Lior Horesh, Kiran Kate, Jonathan Lenchner, Nick Linck, Andrea Loreggia, Keerthiram Murugesan, Nicholas Mattei, Francesca Rossi & Biplav Srivastava (2021): Thinking Fast and Slow in AI. In: Thirty-Fifth AAAI Conference on Artificial Intelligence, Virtual Event. AAAI Press, pp. 15042–15046. Available at https://ojs.aaai.org/index.php/AAAI/article/view/17765.
  4. Alessandro Burigana, Francesco Fabiano, Agostino Dovier & Enrico Pontelli (2020): Modelling Multi-Agent Epistemic Planning in ASP. Theory and Practice of Logic Programming 20(5), pp. 593608, doi:10.1017/S1471068420000289.
  5. Alexander V. Chagrov & Michael Zakharyaschev (1997): Modal Logic. Oxford logic guides 35. Oxford University Press.
  6. Matthew Crosby, Anders Jonsson & Michael Rovatsos (2014): A Single-Agent Approach to Multiagent Planning. In: ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic 263. IOS Press, pp. 237–242, doi:10.3233/978-1-61499-419-0-237.
  7. Mathijs De Weerdt, André Bos, Hans Tonino & Cees Witteveen (2003): A resource logic for multi-agent plan merging. Annals of Mathematics and Artificial Intelligence 37(1-2), pp. 93–130, doi:10.1023/A:1020236119243.
  8. Mathijs De Weerdt & Brad Clement (2009): Introduction to planning in multiagent systems. Multiagent and Grid Systems 5(4), pp. 345–355, doi:10.3233/MGS-2009-0133.
  9. Agostino Dovier, Andrea Formisano & Enrico Pontelli (2013): Autonomous agents coordination: Action languages meet CLP() and Linda. Theory and Practice of Logic Programming 13(2), pp. 149–173, doi:10.1016/S0004-3702(00)00031-X.
  10. Thorsten Engesser, Thomas Bolander, Robert Mattmüller & Bernhard Nebel (2017): Cooperative Epistemic Multi-Agent Planning for Implicit Coordination. In: Proceedings of the Ninth Workshop on Methods for Modalities, M4M@ICLA 2017, Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017, EPTCS 243, pp. 75–90, doi:10.4204/EPTCS.243.6.
  11. Francesco Fabiano (2019): Design of a Solver for Multi-Agent Epistemic Planning. In: Proceedings 35th International Conference on Logic Programming (Technical Communications), pp. 403–412, doi:10.4204/EPTCS.306.54.
  12. Francesco Fabiano, Alessandro Burigana, Agostino Dovier & Enrico Pontelli (2020): EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations. In: Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020. AAAI Press, pp. 101–109. Available at https://aaai.org/ojs/index.php/ICAPS/article/view/6650.
  13. Francesco Fabiano, Idriss Riouak, Agostino Dovier & Enrico Pontelli (2019): Non-Well-Founded Set Based Multi-Agent Epistemic Action Language. In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019, CEUR Workshop Proceedings 2396. CEUR-WS.org, pp. 242–259. Available at http://ceur-ws.org/Vol-2396/paper38.pdf.
  14. Francesco Fabiano, Biplav Srivastava, Jonathan Lenchner, Lior Horesh, Francesca Rossi & Marianna Bergamaschi Ganapini (2021): E-PDDL: A Standardized Way of Defining Epistemic Planning Problems. In: Knowledge Engineering for Planning and Scheduling, Online, pp. in press. Available at https://icaps21.icaps-conference.org/workshops/KEPS/Papers/KEPS_2021_paper_3.pdf.
  15. Ronald Fagin & Joseph Y Halpern (1994): Reasoning about knowledge and probability. Journal of the ACM (JACM) 41(2), pp. 340–367, doi:10.1145/174652.174658.
  16. Michael Gelfond & Vladimir Lifschitz (1998): Action Languages. Electron. Trans. Artif. Intell. 2, pp. 193–210. Available at http://www.ep.liu.se/ej/etai/1998/007/.
  17. J. Gerbrandy & W. Groeneveld (1997): Reasoning about information change. Journal of Logic, Language and Information 6(2), pp. 147–169, doi:10.1023/A:1008222603071.
  18. Claudia V Goldman & Shlomo Zilberstein (2004): Decentralized control of cooperative systems: Categorization and complexity analysis. J. Artif. Intell. Res.(JAIR) 22, pp. 143–174, doi:10.1613/jair.1427.
  19. Xiao Huang, Biqing Fang, Hai Wan & Yongmei Liu (2017): A General Multi-agent Epistemic Planner Based on Higher-order Belief Change. In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. ijcai.org, pp. 1093–1101, doi:10.24963/ijcai.2017/152.
  20. Filippos Kominis & Hector Geffner (2017): Multiagent Online Planning with Nested Beliefs and Dialogue. In: Proceedings of the International Conference on Automated Planning and Scheduling, ICAPS, Pittsburgh, Pennsylvania, USA, pp. 186–194. Available at https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15748.
  21. Saul A. Kripke (1963): Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi. Mathematical Logic Quarterly 9(5-6), pp. 67–96, doi:10.1002/malq.19630090502.
  22. Tiep Le, Francesco Fabiano, Tran Cao Son & Enrico Pontelli (2018): EFP and PG-EFP: Epistemic Forward Search Planners in Multi-Agent Domains. In: Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling. AAAI Press, Delft, The Netherlands, pp. 161–170. Available at https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17733.
  23. Nir Lipovetzky & Hector Geffner (2017): Best-First Width Search: Exploration and Exploitation in Classical Planning. In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, San Francisco, California, USA, pp. 3590–3596. Available at http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14862.
  24. Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce & Liz Sonenberg (2015): Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. AAAI Press, pp. 3327–3334. Available at http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9974.
  25. Silvia Richter & Matthias Westphal (2010): The LAMA planner: Guiding cost-based anytime planning with landmarks. Journal of Artificial Intelligence Research 39, pp. 127–177, doi:10.1613/jair.2972.
  26. Stuart J. Russell & Peter Norvig (2010): Artificial Intelligence - A Modern Approach, Third International Edition. Pearson Education. Available at http://vig.pearsoned.com/store/product/1,1207,store-12521_isbn-0136042597,00.html.
  27. Raymond R. Smullyan (1968): First-order logic 43. Springer-Verlag Berlin Heidelberg, doi:10.1007/978-3-642-86718-7.
  28. Hans Van Ditmarsch, Wiebe van Der Hoek & Barteld Kooi (2007): Dynamic epistemic logic 337. Springer Netherlands, doi:10.1007/978-1-4020-5839-4.
  29. Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu & Huada Xu (2015): A Complete Epistemic Planner without the Epistemic Closed World Assumption. In: IJCAI International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, pp. 3257–3263. Available at http://ijcai.org/Abstract/15/459.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org