1. Thomas Ågotnes, Valentin Goranko & Wojciech Jamroga (2007): Alternating-time temporal logics with irrevocable strategies. In: Dov Samet: Proceedings of (TARK 2007), pp. 15–24, doi:10.1145/1324249.1324256.
  2. Patrick Blackburn, Maarten de Rijke & Yde Venema (2002): Modal Logic. Cambridge University Press, doi:10.1017/CBO9781107050884.
  3. 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.3166/jancl.21.9-34.
  4. Thomas Bolander, Tristan Charrier, Sophie Pinchinat & François Schwarzentruber (2020): DEL-based epistemic planning: Decidability and complexity. Artificial Intelligence 287, pp. 103304, doi:10.1016/j.artint.2020.103304.
  5. Thomas Bolander, Martin Holm Jensen & François Schwarzentruber (2015): Complexity Results in Epistemic Planning. In: Proceedings of IJCAI '15, pp. 2791–2797. Available at
  6. A. Cimatti, M. Pistore, M. Roveri & P. Traverso (2003): Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking. Artificial Intelligence 147(12), pp. 3584, doi:10.1016/S0004-3702(02)00374-0.
  7. Thorsten Engesser, Robert Mattmüller, Bernhard Nebel & Michael Thielscher (2021): Game description language and dynamic epistemic logic compared. Artificial Intelligence 292, pp. 103433, doi:10.1016/j.artint.2020.103433.
  8. Raul Fervari, Andreas Herzig, Yanjun Li & Yanjing Wang (2017): Strategically knowing how. In: Proceedings of IJCAI '17, pp. 1031–1038, doi:10.24963/ijcai.2017/143.
  9. Malik Ghallab, Dana Nau & Paolo Traverso (2004): Automated planning: theory and practice. Elsevier.
  10. Fausto Giunchiglia & Paolo Traverso (2000): Planning as Model Checking, doi:10.1007/10720246_1.
  11. Andreas Herzig (2015): Logics of knowledge and action: critical analysis and challenges. Autonomous Agents and Multi-Agent Systems 29(5), pp. 719–753, doi:10.1007/s10458-014-9267-z.
  12. Wojciech Jamroga & Thomas Ågotnes (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.
  13. Jérôme Lang & Bruno Zanuttini (2012): Knowledge-Based Programs as Plans - The Complexity of Plan Verification. In: ECAI '12, pp. 504–509, doi:10.3233/978-1-61499-098-7-504.
  14. Jérôme Lang & Bruno Zanuttini (2013): Knowledge-Based Programs as Plans : Succinctness and the Complexity of Plan Existence (Extended Abstract). In: TARK '13. Available at
  15. Yanjun Li & Yanjing Wang (2019): Multi-agent Knowing How via Multi-step Plans: A Dynamic Epistemic Planning Based Approach. In: Proceedings of LORI VII, pp. 126–139, doi:10.1007/978-3-662-60292-8_10.
  16. Yanjun Li & Yanjing Wang (2021): Planning-Based Knowing How: A Unified Approach. Artificial Intelligence 296, pp. 103487, doi:10.1016/j.artint.2021.103487.
  17. Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber & Silvia Stranieri (2020): Dynamic Epistemic Logic Games with Epistemic Temporal Goals. In: Proceedings of ECAI 2020. IOS Press, pp. 155–162, doi:10.3233/FAIA200088.
  18. Bastien Maubert, Sophie Pinchinat, François Schwarzentruber & Silvia Stranieri (2020): Concurrent Games in Dynamic Epistemic Logic. In: Christian Bessiere: Proceedings of IJCAI 2020., pp. 1877–1883, doi:10.24963/ijcai.2020/260.
  19. Pavel Naumov & Jia Tao (2018): Second-Order Know-How Strategies. In: Proceedings of AAMAS '18, pp. 390–398, doi:10.5555/3237383.3237444.
  20. Pavel Naumov & Jia Tao (2018): Together we know how to achieve: An epistemic logic of know-how. Artificial Intelligence 262, pp. 279–300, doi:10.1016/j.artint.2018.06.007.
  21. Anantha Padmanabha, R. Ramanujam & Yanjing Wang (2018): Bundled fragments of first-order modal logic: (un)decidability. In: Proceedings of FSTTCS '18, doi:10.4230/LIPIcs.FSTTCS.2018.43.
  22. Pierre-Yves Schobbens (2004): Alternating-time logic with imperfect recall. Electron. Notes Theor. Comput. Sci. 85(2), pp. 82–93, doi:10.1016/S1571-0661(05)82604-0.
  23. Jason Stanley & Timothy Williamson (2001): Knowing how. The Journal of Philosophy, pp. 411–444, doi:10.2307/2678403.
  24. Yanjing Wang (2017): A New Modal Framework for Epistemic Logic. In: Jérôme Lang: Proceedings of TARK '17, EPTCS 251, pp. 515–534, doi:10.4204/EPTCS.251.38.
  25. Yanjing Wang (2018): A logic of goal-directed knowing how. Synthese 10, pp. 4419–4439, doi:10.1007/s11229-016-1272-0.
  26. Yanjing Wang (2018): Beyond knowing that: a new generation of epistemic logics. In: Jaakko Hintikka on knowledge and game theoretical semantics. Springer, Cham, pp. 499–533, doi:10.1007/978-3-319-62864-6_21.
  27. Bruno Zanuttini, Jérôme Lang, Abdallah Saffidine & François Schwarzentruber (2020): Knowledge-based programs as succinct policies for partially observable domains. Artificial Intelligence 288, pp. 103365, doi:10.1016/j.artint.2020.103365.

Comments and questions to:
For website issues: