@inproceedings(AgotnesGJ07,
 author       = {{\r A}gotnes, Thomas and Valentin Goranko and Wojciech Jamroga},
 year         = {2007},
 title        = {Alternating-time temporal logics with irrevocable strategies},
 editor       = {Dov Samet},
 booktitle    = {Proceedings of (TARK 2007)},
 pages        = {15--24},
 doi          = {10.1145/1324249.1324256},
)
@book(mlbook,
 author       = {Patrick Blackburn and Maarten de~Rijke and Yde Venema},
 year         = {2002},
 title        = {{Modal Logic}},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781107050884},
)
@article(BA2011,
 author       = {Thomas Bolander and Mikkel~Birkegaard Andersen},
 year         = {2011},
 title        = {{Epistemic planning for single and multi-agent systems}},
 journal      = {Journal of Applied Non-Classical Logics},
 volume       = {21},
 number       = {1},
 pages        = {9--34},
 doi          = {10.3166/jancl.21.9-34},
)
@article(BOLANDER202010,
 author       = {Thomas Bolander and Tristan Charrier and Sophie Pinchinat and Fran\IeC{\c c}ois Schwarzentruber},
 year         = {2020},
 title        = {DEL-based epistemic planning: Decidability and complexity},
 journal      = {Artificial Intelligence},
 volume       = {287},
 pages        = {103304},
 doi          = {10.1016/j.artint.2020.103304},
)
@inproceedings(Bolander2015,
 author       = {Thomas Bolander and Martin~Holm Jensen and Fran\IeC{\c c}ois Schwarzentruber},
 year         = {2015},
 title        = {{Complexity Results in Epistemic Planning}},
 booktitle    = {Proceedings of IJCAI '15},
 pages        = {2791--2797},
 url          = {http://ijcai.org/Abstract/15/395},
)
@article(Cimatti2003,
 author       = {A.~Cimatti and M.~Pistore and M.~Roveri and P.~Traverso},
 year         = {2003},
 title        = {Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking},
 journal      = {Artificial Intelligence},
 volume       = {147},
 number       = {1\IeC{\textendash}2},
 pages        = {35\IeC{\textendash}84},
 doi          = {10.1016/S0004-3702(02)00374-0},
)
@article(EngesserMNT21,
 author       = {Thorsten Engesser and Robert Mattm\"{u}ller and Bernhard Nebel and Michael Thielscher},
 year         = {2021},
 title        = {Game description language and dynamic epistemic logic compared},
 journal      = {Artificial Intelligence},
 volume       = {292},
 pages        = {103433},
 doi          = {10.1016/j.artint.2020.103433},
)
@inproceedings(Fervari2017,
 author       = {Raul Fervari and Andreas Herzig and Yanjun Li and Yanjing Wang},
 year         = {2017},
 title        = {{Strategically knowing how}},
 booktitle    = {Proceedings of IJCAI '17},
 pages        = {1031--1038},
 doi          = {10.24963/ijcai.2017/143},
)
@book(ghallab2004automated,
 author       = {Malik Ghallab and Dana Nau and Paolo Traverso},
 year         = {2004},
 title        = {{Automated planning: theory and practice}},
 publisher    = {Elsevier},
)
@(Giunchiglia2000,
 author       = {Fausto Giunchiglia and Paolo Traverso},
 year         = {2000},
 title        = {{Planning as Model Checking}},
 doi          = {10.1007/10720246\_1},
)
@article(Herzig15,
 author       = {Andreas Herzig},
 year         = {2015},
 title        = {{Logics of knowledge and action: critical analysis and challenges}},
 journal      = {Autonomous Agents and Multi-Agent Systems},
 volume       = {29},
 number       = {5},
 pages        = {719--753},
 doi          = {10.1007/s10458-014-9267-z},
)
@article(JamrogaA07,
 author       = {Wojciech Jamroga and {\r A}gotnes, Thomas},
 year         = {2007},
 title        = {{Constructive knowledge: what agents can achieve under imperfect information}},
 journal      = {Journal of Applied Non-Classical Logics},
 volume       = {17},
 number       = {4},
 pages        = {423--475},
 doi          = {10.3166/jancl.17.423-475},
)
@inproceedings(LangZ12,
 author       = {J{\'{e}}r{\^{o}}me Lang and Bruno Zanuttini},
 year         = {2012},
 title        = {{Knowledge-Based Programs as Plans - The Complexity of Plan Verification}},
 booktitle    = {ECAI '12},
 pages        = {504--509},
 doi          = {10.3233/978-1-61499-098-7-504},
)
@inproceedings(Lang2013,
 author       = {J{\'{e}}r{\^{o}}me Lang and Bruno Zanuttini},
 year         = {2013},
 title        = {{Knowledge-Based Programs as Plans : Succinctness and the Complexity of Plan Existence (Extended Abstract)}},
 booktitle    = {TARK '13},
 url          = {https://arxiv.org/abs/1310.6429},
)
@inproceedings(LiW19,
 author       = {Yanjun Li and Yanjing Wang},
 year         = {2019},
 title        = {Multi-agent Knowing How via Multi-step Plans: {A} Dynamic Epistemic Planning Based Approach},
 booktitle    = {Proceedings of LORI VII},
 pages        = {126--139},
 doi          = {10.1007/978-3-662-60292-8\_10},
)
@article(LiWangAIJ2021,
 author       = {Yanjun Li and Yanjing Wang},
 year         = {2021},
 title        = {Planning-Based Knowing How: A Unified Approach},
 journal      = {Artificial Intelligence},
 volume       = {296},
 pages        = {103487},
 doi          = {10.1016/j.artint.2021.103487},
)
@inproceedings(MaubertMPSS20,
 author       = {Bastien Maubert and Aniello Murano and Sophie Pinchinat and Fran{\c{c}}ois Schwarzentruber and Silvia Stranieri},
 year         = {2020},
 title        = {Dynamic Epistemic Logic Games with Epistemic Temporal Goals},
 booktitle    = {Proceedings of {ECAI} 2020},
 publisher    = {{IOS} Press},
 pages        = {155--162},
 doi          = {10.3233/FAIA200088},
)
@inproceedings(MaubertPSS20,
 author       = {Bastien Maubert and Sophie Pinchinat and Fran{\c{c}}ois Schwarzentruber and Silvia Stranieri},
 year         = {2020},
 title        = {Concurrent Games in Dynamic Epistemic Logic},
 editor       = {Christian Bessiere},
 booktitle    = {Proceedings of {IJCAI} 2020},
 publisher    = {ijcai.org},
 pages        = {1877--1883},
 doi          = {10.24963/ijcai.2020/260},
)
@inproceedings(Naumov2018,
 author       = {Pavel Naumov and Jia Tao},
 year         = {2018},
 title        = {{Second-Order Know-How Strategies}},
 booktitle    = {Proceedings of AAMAS '18},
 pages        = {390--398},
 doi          = {10.5555/3237383.3237444},
)
@article(Naumov2018a,
 author       = {Pavel Naumov and Jia Tao},
 year         = {2018},
 title        = {{Together we know how to achieve: An epistemic logic of know-how}},
 journal      = {Artificial Intelligence},
 volume       = {262},
 pages        = {279--300},
 doi          = {10.1016/j.artint.2018.06.007},
)
@inproceedings(Padmanabha2018,
 author       = {Anantha Padmanabha and R.~Ramanujam and Yanjing Wang},
 year         = {2018},
 title        = {{Bundled fragments of first-order modal logic: (un)decidability}},
 booktitle    = {Proceedings of FSTTCS '18},
 doi          = {10.4230/LIPIcs.FSTTCS.2018.43},
)
@article(Schobbens04,
 author       = {Pierre{-}Yves Schobbens},
 year         = {2004},
 title        = {Alternating-time logic with imperfect recall},
 journal      = {Electron. Notes Theor. Comput. Sci.},
 volume       = {85},
 number       = {2},
 pages        = {82--93},
 doi          = {10.1016/S1571-0661(05)82604-0},
)
@article(stanley2001knowing,
 author       = {Jason Stanley and Timothy Williamson},
 year         = {2001},
 title        = {{Knowing how}},
 journal      = {The Journal of Philosophy},
 pages        = {411--444},
 doi          = {10.2307/2678403},
)
@inproceedings(Wang2017,
 author       = {Yanjing Wang},
 year         = {2017},
 title        = {A New Modal Framework for Epistemic Logic},
 editor       = {J{\'{e}}r{\^{o}}me Lang},
 booktitle    = {Proceedings of TARK '17},
 series       = {{EPTCS}},
 volume       = {251},
 pages        = {515--534},
 doi          = {10.4204/EPTCS.251.38},
)
@article(Wang2016,
 author       = {Yanjing Wang},
 year         = {2018},
 title        = {{A logic of goal-directed knowing how}},
 journal      = {Synthese},
 volume       = {10},
 pages        = {4419--4439},
 doi          = {10.1007/s11229-016-1272-0},
)
@incollection(Wang2018,
 author       = {Yanjing Wang},
 year         = {2018},
 title        = {{Beyond knowing that: a new generation of epistemic logics}},
 booktitle    = {Jaakko Hintikka on knowledge and game theoretical semantics},
 publisher    = {Springer, Cham},
 pages        = {499--533},
 doi          = {10.1007/978-3-319-62864-6\_21},
)
@article(ZanuttiniLSS20,
 author       = {Bruno Zanuttini and J{\'{e}}r{\^{o}}me Lang and Abdallah Saffidine and Fran{\c{c}}ois Schwarzentruber},
 year         = {2020},
 title        = {Knowledge-based programs as succinct policies for partially observable domains},
 journal      = {Artificial Intelligence},
 volume       = {288},
 pages        = {103365},
 doi          = {10.1016/j.artint.2020.103365},
)