@article(agotnes10,
 author       = {{\r A}gotnes, Thomas and Philippe Balbiani and Hans P. van Ditmarsch and Pablo Seban},
 year         = {2010},
 title        = {Group announcement logic},
 journal      = {Journal of Applied Logic},
 volume       = {8},
 number       = {1},
 pages        = {62--81},
 doi          = {10.1016/j.jal.2008.12.002},
)
@inproceedings(albore09,
 author       = {Alexandre Albore and Hector Palacios and Hector Geffner},
 year         = {2009},
 title        = {A Translation-Based Approach to Contingent Planning},
 booktitle    = {Proc. IJCAI 2009},
 pages        = {1623--1628},
)
@phdthesis(andersentowards,
 author       = {Mikkel Birkegaard Andersen},
 year         = {2015},
 title        = {Towards Theory-of-Mind agents using Automated Planning and Dynamic Epistemic Logic},
 school       = {Technical University of Denmark},
)
@inproceedings(andersen12,
 author       = {Mikkel Birkegaard Andersen and Thomas Bolander and Martin Holm Jensen},
 year         = {2012},
 title        = {Conditional Epistemic Planning},
 booktitle    = {Proc. JELIA 2012},
 pages        = {94--106},
 doi          = {10.1007/978-3-642-33353-8_8},
)
@article(andersen13,
 author       = {Mikkel Birkegaard Andersen and Thomas Bolander and Martin Holm Jensen},
 year         = {2015},
 title        = {Don't Plan for the Unexpected: Planning Based on Plausibility Models},
 journal      = {Logique et Analyse},
 volume       = {58},
 number       = {230},
 doi          = {10.2143/LEA.230.0.3141807},
)
@inproceedings(aucher13,
 author       = {Guillaume Aucher and Thomas Bolander},
 year         = {2013},
 title        = {Undecidability in Epistemic Planning},
 booktitle    = {Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)},
)
@inproceedings(benthem15,
 author       = {Johan van Benthem and Jan van Eijck and Malvin Gattinger and Kaile Su},
 year         = {2015},
 title        = {Symbolic Model Checking for Dynamic Epistemic Logic},
 booktitle    = {Proceedings of the 5th International Workshop on Logic, Rationality, and Interaction (LORI 2015)},
 pages        = {366--378},
 doi          = {10.1007/978-3-662-48561-3_30},
)
@article(bolander11,
 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(brenner09,
 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},
)
@article(bulling14,
 author       = {Nils Bulling and Wojciech Jamroga},
 year         = {2014},
 title        = {Comparing variants of strategic ability: how uncertainty and memory influence general properties of games},
 journal      = {Autonomous Agents and Multi-Agent Systems},
 volume       = {28},
 number       = {3},
 pages        = {474--518},
 doi          = {10.1007/s10458-013-9231-3},
)
@article(cimatti03weak,
 author       = {Alessandro Cimatti and Marco Pistore and Marco Roveri and Paolo Traverso},
 year         = {2003},
 title        = {Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking},
 journal      = {Artificial Intelligence},
 volume       = {147},
 number       = {1--2},
 pages        = {35--84},
 doi          = {10.1016/S0004-3702(02)00374-0},
)
@article(ditmarsch03,
 author       = {Hans P. van Ditmarsch},
 year         = {2003},
 title        = {The Russian Cards Problem},
 journal      = {Studia Logica},
 volume       = {75},
 number       = {1},
 pages        = {31--62},
 doi          = {10.1023/A:1026168632319},
)
@book(ditmarsch07,
 author       = {Hans P. van Ditmarsch and Wiebe van der Hoek and Barteld Kooi},
 year         = {2007},
 title        = {Dynamic Epistemic Logic},
 publisher    = {Springer Heidelberg},
 doi          = {10.1007/978-1-4020-5839-4},
)
@article(ditmarsch06,
 author       = {Hans P. van Ditmarsch and Wiebe van der Hoek and Ron van der Meyden and Ji Ruan},
 year         = {2006},
 title        = {Model Checking Russian Cards},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {149},
 number       = {2},
 pages        = {105--123},
 doi          = {10.1016/j.entcs.2005.07.029},
)
@inproceedings(durfee01,
 author       = {Edmund H. Durfee},
 year         = {2001},
 title        = {Distributed Problem Solving and Planning},
 booktitle    = {Proc. ACAI 2001},
 pages        = {118--149},
)
@book(vaneijck04,
 author       = {Jan van Eijck},
 year         = {2004},
 title        = {Dynamic epistemic modelling},
 publisher    = {CWI. Software Engineering [SEN]},
)
@book(ghallab04,
 author       = {Malik Ghallab and Dana S. Nau and Paolo Traverso},
 year         = {2004},
 title        = {Automated Planning: Theory and Practice},
 publisher    = {Morgan Kaufmann},
)
@inproceedings(jamroga04a,
 author       = {Wojciech Jamroga},
 year         = {2004},
 title        = {Strategic Planning through Model Checking of {ATL} Formulae},
 booktitle    = {{ICAISC}},
 pages        = {879--884},
 doi          = {10.1007/978-3-540-24844-6_136},
)
@article(jamroga07,
 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},
)
@article(jamroga04b,
 author       = {Wojciech Jamroga and Wiebe van der Hoek},
 year         = {2004},
 title        = {Agents that Know How to Play},
 journal      = {Fundam. Inform.},
 volume       = {63},
 number       = {2--3},
 pages        = {185--219},
)
@inproceedings(kominis15,
 author       = {Filippos Kominis and Hector Geffner},
 year         = {2015},
 title        = {Beliefs in Multiagent Planning: From One Agent to Many},
 booktitle    = {Proc. ICAPS 2015},
 pages        = {147--155},
)
@inproceedings(lowe11,
 author       = {Benedikt L{\"o}we and Eric Pacuit and Andreas Witzel},
 year         = {2011},
 title        = {{DEL} planning and some tractable cases},
 booktitle    = {Proc. LORI 2011},
 pages        = {179--192},
 doi          = {10.1007/978-3-642-24130-7_13},
)
@inproceedings(muise15,
 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},
 booktitle    = {Proc. AAAI 2015},
 pages        = {3327--3334},
 doi          = {10.1.1.684.2394},
)
@article(nissim14,
 author       = {Raz Nissim and Ronen I. Brafman},
 year         = {2014},
 title        = {Distributed Heuristic Forward Search for Multi-agent Planning},
 journal      = {Journal of Artificial Intelligence Research},
 volume       = {51},
 pages        = {293--332},
 doi          = {10.1613/jair.4295},
)
@article(palacios09,
 author       = {H{\'{e}}ctor Palacios and Hector Geffner},
 year         = {2009},
 title        = {Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width},
 journal      = {Journal of Artificial Intelligence Research},
 volume       = {35},
 pages        = {623--675},
 doi          = {10.1613/jair.2708},
)
@inproceedings(petrick02,
 author       = {Ronald P. A. Petrick and Fahiem Bacchus},
 year         = {2002},
 title        = {A Knowledge-Based Approach to Planning with Incomplete Information and Sensing},
 booktitle    = {Proc. AIPS 2002},
 pages        = {212--222},
 doi          = {10.1.1.16.7462},
)
@inproceedings(petrick04,
 author       = {Ronald P. A. Petrick and Fahiem Bacchus},
 year         = {2004},
 title        = {Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing},
 booktitle    = {Proc. ICAPS 2004},
 pages        = {2--11},
)
@inproceedings(petrick13,
 author       = {Ronald P. A. Petrick and Mary Ellen Foster},
 year         = {2013},
 title        = {Planning for Social Interaction in a Robot Bartender Domain},
 booktitle    = {Proc. ICAPS 2013},
 pages        = {389--397},
)
@article(prem.ea:does,
 author       = {David Premack and Guy Woodruff},
 year         = {1978},
 title        = {Does the chimpanzee have a theory of mind?},
 journal      = {Behavioral and Brain Sciences},
 volume       = {1},
 number       = {4},
 pages        = {515--526},
 doi          = {10.1017/S0140525X00076512},
)
@article(watts98,
 author       = {Duncan J. Watts and Steven H. Strogatz},
 year         = {1998},
 title        = {Collective dynamics of 'small-world' networks},
 journal      = {Nature},
 volume       = {393},
 number       = {6684},
 pages        = {440--442},
 doi          = {10.1038/30918},
)