@article(ande.ea:cond,
 author       = {Mikkel Birkegaard Andersen and Thomas Bolander and Martin Holm Jensen},
 year         = {2012},
 title        = {Conditional Epistemic Planning},
 journal      = {Lecture Notes in Artificial Intelligence},
 volume       = {7519},
 pages        = {94--106},
 doi          = {10.1007/978-3-642-33353-8_8},
 note         = {Proceedings of JELIA 2012},
)
@inproceedings(auch.ea:unde,
 author       = {Guillaume Aucher and Thomas Bolander},
 year         = {2013},
 title        = {Undecidability in Epistemic Planning},
 booktitle    = {Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI)},
 pages        = {27--33},
)
@inproceedings(bent.ea:merg,
 author       = {Johan van Benthem and Jelle Gerbrandy and Eric Pacuit},
 year         = {2007},
 title        = {Merging frameworks for interaction: DEL and ETL},
 booktitle    = {Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge},
 series       = {TARK '07},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {72--81},
 doi          = {10.1145/1324249.1324262},
)
@book(blac.ea:moda,
 author       = {P. Blackburn and M. de Rijke and Y. Venema},
 year         = {2001},
 title        = {Modal Logic},
 series       = {Cambridge Tracts in Theoretical Computer Science},
 volume       = {53},
 publisher    = {Cambridge University Press},
 address      = {Cambridge, UK},
 doi          = {10.1017/CBO9781107050884},
)
@inproceedings(bolander2014seeing,
 author       = {Thomas Bolander},
 year         = {2014},
 title        = {Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic},
 editor       = {Andreas Herzig and Emiliano Lorini},
 booktitle    = {Proceedings of the European Conference on Social Intelligence (ECSI-2014)},
 series       = {{CEUR} Workshop Proceedings},
 volume       = {1283},
 publisher    = {CEUR-WS.org},
 pages        = {87--107},
)
@article(bola.ea:epis,
 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},
 pages        = {9--34},
 doi          = {10.3166/jancl.21.9-34},
)
@article(bolander2015announcements,
 author       = {Thomas Bolander and Hans van Ditmarsch and Andreas Herzig and Emiliano Lorini and Pere Pardo and Fran{\c{c}}ois Schwarzentruber},
 year         = {2015},
 title        = {Announcements to Attentive Agents},
 journal      = {Journal of Logic, Language and Information},
 pages        = {1--35},
 doi          = {10.1007/s10849-015-9234-3},
)
@inproceedings(bolander2016better,
 author       = {Thomas Bolander and Thorsten Engesser and Robert Mattmüller and Bernhard Nebel},
 year         = {2016},
 title        = {Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination},
 booktitle    = {Distributed and Multi-Agent Planning (DMAP-16)},
 pages        = {42--49},
)
@inproceedings(bolander2015complexity,
 author       = {Thomas Bolander and Martin Holm Jensen and Fran{\c{c}}ois Schwarzentruber},
 year         = {2015},
 title        = {Complexity Results in Epistemic Planning},
 editor       = {Qiang Yang and Michael Wooldridge},
 booktitle    = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015},
 publisher    = {{AAAI} Press},
 pages        = {2791--2797},
)
@article(brenner2009continual,
 author       = {Michael Brenner and Bernhard Nebel},
 year         = {2009},
 title        = {Continual planning and acting in dynamic multiagent environments},
 journal      = {Autonomous Agents and Multi-Agent Systems},
 volume       = {19},
 number       = {3},
 pages        = {297--331},
 doi          = {10.1007/s10458-009-9081-1},
)
@inproceedings(charrier2016impact,
 author       = {Tristan Charrier and Bastien Maubert and Fran{\c{c}}ois Schwarzentruber},
 year         = {2016},
 title        = {On the Impact of Modal Depth in Epistemic Planning},
 booktitle    = {Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016, New York, USA, July 12-15, 2016},
)
@inproceedings(ditm.ea:sema,
 author       = {Hans van Ditmarsch and Barteld Kooi},
 year         = {2008},
 title        = {Semantic Results for Ontic and Epistemic Change},
 editor       = {Giacomo Bonanno and Wiebe van der Hoek and Michael Wooldridge},
 booktitle    = {Logic and the Foundation of Game and Decision Theory (LOFT 7)},
 series       = {Texts in Logic and Games 3},
 publisher    = {Amsterdam University Press},
 pages        = {87--117},
)
@incollection(eijck2014dynamic,
 author       = {Jan van Eijck},
 year         = {2014},
 title        = {Dynamic epistemic logics},
 booktitle    = {Johan van Benthem on Logic and Information Dynamics},
 publisher    = {Springer},
 pages        = {175--202},
)
@inproceedings(engesser2017cooperative,
 author       = {Thorsten Engesser and Thomas Bolander and Robert Mattmüller and Bernhard Nebel},
 year         = {2017},
 title        = {Cooperative Epistemic Multi-Agent Planning for Implicit Coordination},
 booktitle    = {Proceedings of Methods for Modalities},
 series       = {Electronic Proceedings in Theoretical Computer Science},
)
@book(fagi.ea:reas,
 author       = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi},
 year         = {1995},
 title        = {Reasoning About Knowledge},
 publisher    = {MIT Press},
)
@article(fike.ea:stri,
 author       = {R. Fikes and N. Nilsson},
 year         = {1971},
 title        = {{STRIPS}: A new approach to the application of theorem proving to problem solving},
 journal      = {Artificial Intelligence},
 volume       = {2},
 pages        = {189--203},
 doi          = {10.1016/0004-3702(71)90010-5},
)
@book(ghal.ea:auto,
 author       = {Malik Ghallab and Dana S. Nau and Paolo Traverso},
 year         = {2004},
 title        = {Automated Planning: Theory and Practice},
 publisher    = {Morgan Kaufmann},
)
@inproceedings(herzig2015poor,
 author       = {Andreas Herzig and Emiliano Lorini and Faustine Maffre},
 year         = {2015},
 title        = {A poor man’s epistemic logic based on propositional assignment and higher-order observation},
 booktitle    = {Logic, Rationality and Interaction},
 series       = {Lecture Notes in Computer Science},
 volume       = {9394},
 publisher    = {Springer},
 doi          = {10.1007/978-3-662-48561-3_13},
)
@inproceedings(hoek.ea:trac,
 author       = {Wiebe van der Hoek and Michael Wooldridge},
 year         = {2002},
 title        = {Tractable Multiagent Planning for Epistemic Goals},
 booktitle    = {In Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002)},
 publisher    = {ACM Press},
 pages        = {1167--1174},
 doi          = {10.1145/545056.545095},
)
@article(jamroga2007constructive,
 author       = {Wojciech Jamroga and Thomas Aagotnes},
 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(kominis2014beliefs,
 author       = {Filippos Kominis and Hector Geffner},
 year         = {2014},
 title        = {Beliefs in multiagent planning: From one agent to many},
 booktitle    = {Proc. ICAPS Workshop on Distributed and Multi-Agent Planning},
)
@inproceedings(kooi2011generalized,
 author       = {Barteld Kooi and Bryan Renne},
 year         = {2011},
 title        = {Generalized arrow update logic},
 booktitle    = {Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge},
 organization = {ACM},
 pages        = {205--211},
 doi          = {10.1145/2000378.2000403},
)
@inproceedings(lang2013knowledge,
 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},
 booktitle    = {TARK 2013},
)
@inproceedings(DBLP:conf/uai/MouraoZPS12,
 author       = {Mour{\~{a}}o, Kira and Luke S. Zettlemoyer and Ronald P. A. Petrick and Mark Steedman},
 year         = {2012},
 title        = {Learning {STRIPS} Operators from Noisy and Incomplete Observations},
 editor       = {Nando de Freitas and Kevin P. Murphy},
 booktitle    = {Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence, Catalina Island, CA, USA, August 14-18, 2012},
 publisher    = {{AUAI} Press},
 pages        = {614--623},
)
@inproceedings(muise2015planning,
 author       = {Christian Muise and Vaishak Belle and Paolo Felli and Sheila McIlraith and Tim Miller and Adrian R Pearce and Liz Sonenberg},
 year         = {2015},
 title        = {Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (Amended Version)},
 booktitle    = {Distributed and Multi-Agent Planning (DMAP-15)},
 pages        = {60--67},
 doi          = {10.1.1.684.2394},
)
@inproceedings(petr.ea:know,
 author       = {Ronald P. A. Petrick and Fahiem Bacchus},
 year         = {2002},
 title        = {A Knowledge-Based Approach to Planning with Incomplete Information and Sensing},
 editor       = {Malik Ghallab and Joachim Hertzberg and Paolo Traverso},
 booktitle    = {Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling ({AIPS}-2002)},
 publisher    = {{AAAI} Press},
 address      = {Menlo Park, CA},
 pages        = {212--221},
)
@inproceedings(petr.ea:pks,
 author       = {Ronald P. A. Petrick and Fahiem Bacchus},
 year         = {2004},
 title        = {{PKS}: Knowledge-Based Planning with Incomplete Information and Sensing},
 booktitle    = {ICAPS 2004},
)
@misc(rintanen2006introduction,
 author       = {Jussi Rintanen},
 year         = {2006},
 title        = {Introduction to automated planning},
)
@book(russ.ea:arti,
 author       = {Stuart Russell and Peter Norvig},
 year         = {1995},
 title        = {Artificial Intelligence: {A} Modern Approach},
 publisher    = {Prentice Hall},
)
@inproceedings(Walsh:2008fk,
 author       = {Thomas J. Walsh and Michael L. Littman},
 year         = {2008},
 title        = {Efficient Learning of Action Schemas and Web-service Descriptions},
 booktitle    = {Proceedings of the 23rd National Conference on Artificial Intelligence - Volume 2},
 series       = {AAAI'08},
 publisher    = {AAAI Press},
 pages        = {714--719},
)
@inproceedings(yu2013multi,
 author       = {Quan Yu and Ximing Wen and Yongmei Liu},
 year         = {2013},
 title        = {Multi-agent epistemic explanatory diagnosis via reasoning about actions},
 booktitle    = {Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI)},
 pages        = {27--33},
)