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.
Patrick Blackburn, Maarten de Rijke & Yde Venema (2002):
Modal Logic.
Cambridge University Press,
doi:10.1017/CBO9781107050884.
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.
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.
Thomas Bolander, Martin Holm Jensen & François Schwarzentruber (2015):
Complexity Results in Epistemic Planning.
In: Proceedings of IJCAI '15,
pp. 2791–2797.
Available at http://ijcai.org/Abstract/15/395.
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.
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.
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.
Malik Ghallab, Dana Nau & Paolo Traverso (2004):
Automated planning: theory and practice.
Elsevier.
Fausto Giunchiglia & Paolo Traverso (2000):
Planning as Model Checking,
doi:10.1007/10720246_1.
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.
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.
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.
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 https://arxiv.org/abs/1310.6429.
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.
Yanjun Li & Yanjing Wang (2021):
Planning-Based Knowing How: A Unified Approach.
Artificial Intelligence 296,
pp. 103487,
doi:10.1016/j.artint.2021.103487.
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.
Bastien Maubert, Sophie Pinchinat, François Schwarzentruber & Silvia Stranieri (2020):
Concurrent Games in Dynamic Epistemic Logic.
In: Christian Bessiere: Proceedings of IJCAI 2020.
ijcai.org,
pp. 1877–1883,
doi:10.24963/ijcai.2020/260.
Pavel Naumov & Jia Tao (2018):
Second-Order Know-How Strategies.
In: Proceedings of AAMAS '18,
pp. 390–398,
doi:10.5555/3237383.3237444.
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.
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.
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.
Jason Stanley & Timothy Williamson (2001):
Knowing how.
The Journal of Philosophy,
pp. 411–444,
doi:10.2307/2678403.
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.
Yanjing Wang (2018):
A logic of goal-directed knowing how.
Synthese 10,
pp. 4419–4439,
doi:10.1007/s11229-016-1272-0.
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.
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.