References

  1. Mikkel Birkegaard Andersen, Thomas Bolander & Martin Holm Jensen (2012): Conditional Epistemic Planning. Lecture Notes in Artificial Intelligence 7519, pp. 94–106, doi:10.1007/978-3-642-33353-8_8. Proceedings of JELIA 2012.
  2. Guillaume Aucher & Thomas Bolander (2013): Undecidability in Epistemic Planning. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI), pp. 27–33.
  3. Johan van Benthem, Jelle Gerbrandy & Eric Pacuit (2007): Merging frameworks for interaction: DEL and ETL. In: Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge, TARK '07. ACM, New York, NY, USA, pp. 72–81, doi:10.1145/1324249.1324262.
  4. P. Blackburn, M. de Rijke & Y. Venema (2001): Modal Logic. Cambridge Tracts in Theoretical Computer Science 53. Cambridge University Press, Cambridge, UK, doi:10.1017/CBO9781107050884.
  5. Thomas Bolander (2014): Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic. In: Andreas Herzig & Emiliano Lorini: Proceedings of the European Conference on Social Intelligence (ECSI-2014), CEUR Workshop Proceedings 1283. CEUR-WS.org, pp. 87–107.
  6. Thomas Bolander & Mikkel Birkegaard Andersen (2011): Epistemic Planning for Single- and Multi-Agent Systems. Journal of Applied Non-Classical Logics 21, pp. 9–34, doi:10.3166/jancl.21.9-34.
  7. Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo & François Schwarzentruber (2015): Announcements to Attentive Agents. Journal of Logic, Language and Information, pp. 1–35, doi:10.1007/s10849-015-9234-3.
  8. Thomas Bolander, Thorsten Engesser, Robert Mattmüller & Bernhard Nebel (2016): Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination. In: Distributed and Multi-Agent Planning (DMAP-16), pp. 42–49.
  9. Thomas Bolander, Martin Holm Jensen & François Schwarzentruber (2015): Complexity Results in Epistemic Planning. In: Qiang Yang & Michael Wooldridge: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. AAAI Press, pp. 2791–2797.
  10. Michael Brenner & Bernhard Nebel (2009): Continual planning and acting in dynamic multiagent environments. Autonomous Agents and Multi-Agent Systems 19(3), pp. 297–331, doi:10.1007/s10458-009-9081-1.
  11. Tristan Charrier, Bastien Maubert & François Schwarzentruber (2016): On the Impact of Modal Depth in Epistemic Planning. In: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 12-15, 2016.
  12. Hans van Ditmarsch & Barteld Kooi (2008): Semantic Results for Ontic and Epistemic Change. In: Giacomo Bonanno, Wiebe van der Hoek & Michael Wooldridge: Logic and the Foundation of Game and Decision Theory (LOFT 7), Texts in Logic and Games 3. Amsterdam University Press, pp. 87–117.
  13. Jan van Eijck (2014): Dynamic epistemic logics. In: Johan van Benthem on Logic and Information Dynamics. Springer, pp. 175–202.
  14. Thorsten Engesser, Thomas Bolander, Robert Mattmüller & Bernhard Nebel (2017): Cooperative Epistemic Multi-Agent Planning for Implicit Coordination. In: Proceedings of Methods for Modalities, Electronic Proceedings in Theoretical Computer Science.
  15. Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi (1995): Reasoning About Knowledge. MIT Press.
  16. R. Fikes & N. Nilsson (1971): STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, pp. 189–203, doi:10.1016/0004-3702(71)90010-5.
  17. Malik Ghallab, Dana S. Nau & Paolo Traverso (2004): Automated Planning: Theory and Practice. Morgan Kaufmann.
  18. Andreas Herzig, Emiliano Lorini & Faustine Maffre (2015): A poor man’s epistemic logic based on propositional assignment and higher-order observation. In: Logic, Rationality and Interaction, Lecture Notes in Computer Science 9394. Springer, doi:10.1007/978-3-662-48561-3_13.
  19. Wiebe van der Hoek & Michael Wooldridge (2002): Tractable Multiagent Planning for Epistemic Goals. In: In Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002). ACM Press, pp. 1167–1174, doi:10.1145/545056.545095.
  20. Wojciech Jamroga & Thomas Aagotnes (2007): Constructive knowledge: what agents can achieve under imperfect information. Journal of Applied Non-Classical Logics 17(4), pp. 423–475, doi:10.3166/jancl.17.423-475.
  21. Filippos Kominis & Hector Geffner (2014): Beliefs in multiagent planning: From one agent to many. In: Proc. ICAPS Workshop on Distributed and Multi-Agent Planning.
  22. Barteld Kooi & Bryan Renne (2011): Generalized arrow update logic. In: Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge. ACM, pp. 205–211, doi:10.1145/2000378.2000403.
  23. Jérôme Lang & Bruno Zanuttini (2013): Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence. In: TARK 2013.
  24. Kira Mourão, Luke S. Zettlemoyer, Ronald P. A. Petrick & Mark Steedman (2012): Learning STRIPS Operators from Noisy and Incomplete Observations. In: Nando de Freitas & Kevin P. Murphy: Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence, Catalina Island, CA, USA, August 14-18, 2012. AUAI Press, pp. 614–623.
  25. Christian Muise, Vaishak Belle, Paolo Felli, Sheila McIlraith, Tim Miller, Adrian R Pearce & Liz Sonenberg (2015): Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (Amended Version). In: Distributed and Multi-Agent Planning (DMAP-15), pp. 60–67, doi:10.1.1.684.2394.
  26. Ronald P. A. Petrick & Fahiem Bacchus (2002): A Knowledge-Based Approach to Planning with Incomplete Information and Sensing. In: Malik Ghallab, Joachim Hertzberg & Paolo Traverso: Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS-2002). AAAI Press, Menlo Park, CA, pp. 212–221.
  27. Ronald P. A. Petrick & Fahiem Bacchus (2004): PKS: Knowledge-Based Planning with Incomplete Information and Sensing. In: ICAPS 2004.
  28. Jussi Rintanen (2006): Introduction to automated planning.
  29. Stuart Russell & Peter Norvig (1995): Artificial Intelligence: A Modern Approach. Prentice Hall.
  30. Thomas J. Walsh & Michael L. Littman (2008): Efficient Learning of Action Schemas and Web-service Descriptions. In: Proceedings of the 23rd National Conference on Artificial Intelligence - Volume 2, AAAI'08. AAAI Press, pp. 714–719.
  31. Quan Yu, Ximing Wen & Yongmei Liu (2013): Multi-agent epistemic explanatory diagnosis via reasoning about actions. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI), pp. 27–33.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org