@article(andersen2013don,
 author       = {Mikkel Birkegaard Andersen and Thomas Bolander and Martin Holm Jensen},
 title        = {Don't plan for the unexpected: Planning based on plausibility models},
 journal      = {Logique et Analyse},
 note         = {To appear},
)
@incollection(andersen2012conditional,
 author       = {Mikkel Birkegaard Andersen and Thomas Bolander and Martin Holm Jensen},
 year         = {2012},
 title        = {Conditional epistemic planning},
 booktitle    = {Logics in Artificial Intelligence},
 publisher    = {Springer},
 pages        = {94--106},
 doi          = {10.1007/978-3-642-33353-8{\_}8},
)
@article(aucher2012sequents,
 author       = {Guillaume Aucher},
 year         = {2012},
 title        = {DEL-sequents for regression and epistemic planning},
 journal      = {Journal of Applied Non-Classical Logics},
 volume       = {22},
 number       = {4},
 pages        = {337--367},
 doi          = {10.1080/11663081.2012.736703},
)
@inproceedings(aucher2013undecidability,
 author       = {Guillaume Aucher and Thomas Bolander},
 year         = {2013},
 title        = {Undecidability in Epistemic Planning},
 booktitle    = {IJCAI},
 pages        = {27--33},
 url          = {https://hal.inria.fr/hal-00824653},
)
@inproceedings(BackstromJ11,
 author       = {Christer B{\"{a}}ckstr{\"{o}}m and Peter Jonsson},
 year         = {2011},
 title        = {All PSPACE-Complete Planning Problems Are Equal but Some Are More Equal than Others},
 booktitle    = {SOCS 2011},
 url          = {http://www.aaai.org/ocs/index.php/SOCS/SOCS11/paper/view/4009},
)
@article(BaMo04,
 author       = {Alexandru. Baltag and Larry Moss},
 year         = {2004},
 title        = {Logics for epistemic programs},
 journal      = {Synthese},
 volume       = {139},
 pages        = {165--224},
 doi          = {10.1023/B:SYNT.0000024912.56773.5e},
)
@article(BA2011,
 author       = {Thomas Bolander and M. 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(bonet2010conformant,
 author       = {Blai Bonet},
 year         = {2010},
 title        = {Conformant plans and beyond: Principles and complexity},
 journal      = {Artificial Intelligence.},
 volume       = {174},
 number       = {3-4},
 pages        = {245--269},
 doi          = {10.1016/j.artint.2009.11.001},
)
@inproceedings(BonetG00,
 author       = {Blai Bonet and Hector Geffner},
 year         = {2000},
 title        = {Planning with Incomplete Information as Heuristic Search in Belief Space},
 booktitle    = {ICAPS 2000},
 pages        = {52--61},
 doi          = {10.1.1.38.8535},
 url          = {http://www.aaai.org/Library/AIPS/2000/aips00-006.php},
)
@inproceedings(BonetG12a,
 author       = {Blai Bonet and Hector Geffner},
 year         = {2012},
 title        = {Width and Complexity of Belief Tracking in Non-Deterministic Conformant and Contingent Planning},
 booktitle    = {AAAI 2012},
 url          = {http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5022},
)
@inproceedings(BrafmanH04,
 author       = {Ronen I. Brafman and J{\"{o}}rg Hoffmann},
 year         = {2004},
 title        = {Conformant Planning via Heuristic Forward Search: {A} New Approach},
 booktitle    = {ICAPS 2004},
 pages        = {355--364},
 doi          = {10.1016/j.artint.2006.01.003},
 url          = {http://www.aaai.org/Library/ICAPS/2004/icaps04-042.php},
)
@article(BryceKS06,
 author       = {Daniel Bryce and Subbarao Kambhampati and David E. Smith},
 year         = {2006},
 title        = {Planning Graph Heuristics for Belief Space Search},
 journal      = {Journal of Artificial Intelligence Research},
 volume       = {26},
 pages        = {35--99},
 doi          = {10.1613/jair.1869},
)
@article(CimattiR00,
 author       = {Alessandro Cimatti and Marco Roveri},
 year         = {2000},
 title        = {Conformant Planning via Symbolic Model Checking},
 journal      = {Journal of Artificial Intelligence Research},
 volume       = {13},
 pages        = {305--338},
 doi          = {10.1613/jair.774},
)
@article(Cimatti11,
 author       = {Alessandro Cimatti and Marco Roveri},
 year         = {2011},
 title        = {Conformant Planning via Symbolic Model Checking},
 journal      = {CoRR},
 volume       = {abs/1106.0252},
 url          = {http://arxiv.org/abs/1106.0252},
)
@article(CimattiRB04,
 author       = {Alessandro Cimatti and Marco Roveri and Piergiorgio Bertoli},
 year         = {2004},
 title        = {Conformant planning via symbolic model checking and heuristic search},
 journal      = {Artificial Intelligence},
 volume       = {159},
 number       = {1-2},
 pages        = {127--206},
 doi          = {10.1016/j.artint.2004.05.003},
)
@book(DHK2007,
 author       = {Hans van Ditmarsch and Wiebe van der Hoek and Barteld Kooi},
 year         = {2007},
 title        = {Dynamic epistemic logic},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4020-5839-4},
)
@book(RAK,
 author       = {R. Fagin and J. Halpern and Y. Moses and M. Vardi},
 year         = {1995},
 title        = {Reasoning about knowledge},
 publisher    = {MIT Press},
 address      = {Cambridge, MA, USA},
)
@article(FHMV97:KbasedP,
 author       = {R. Fagin and J. Y. Halpern and Y. Moses and M. Y. Vardi},
 year         = {1997},
 title        = {Knowledge-based programs},
 journal      = {Distributed Computing},
 volume       = {10},
 number       = {4},
 pages        = {199--225},
 doi          = {10.1007/s004460050038},
)
@inproceedings(HaslumJ99,
 author       = {Patrik Haslum and Peter Jonsson},
 year         = {1999},
 title        = {Some Results on the Complexity of Planning with Incomplete Information},
 booktitle    = {ECP 1999},
 pages        = {308--318},
 doi          = {10.1007/10720246{\_}24},
)
@article(JR91,
 author       = {Tao Jiang and B. Ravikumar},
 year         = {1991},
 title        = {A note on the space complexity of some decision problems for finite automata},
 journal      = {Information Processing Letters},
 volume       = {40},
 pages        = {25--31},
 doi          = {10.1016/S0020-0190(05)80006-7},
)
@book(KT2005,
 author       = {Jon Kleinberg and {\'{E}}va Tardos},
 year         = {2005},
 title        = {Algorithm Design},
 publisher    = {Addison-Wesley},
)
@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 2012},
 pages        = {504--509},
 doi          = {10.3233/978-1-61499-098-7-504},
)
@article(Lang06,
 author       = {Martin Lange},
 year         = {2006},
 title        = {Model checking propositional dynamic logic with all extras},
 journal      = {Journal of Applied Logic},
 volume       = {4},
 pages        = {39--49},
 doi          = {10.1016/j.jal.2005.08.002},
)
@incollection(LEA11,
 author       = {Benedikt L{\"o}we and Eric Pacuit and Andreas Witzel},
 year         = {2011},
 title        = {DEL planning and some tractable cases},
 booktitle    = {LORI 2011},
 publisher    = {Springer},
 pages        = {179--192},
 doi          = {10.1007/978-3-642-24130-7\_13},
)
@inproceedings(PalaciosG06,
 author       = {H{\'{e}}ctor Palacios and Hector Geffner},
 year         = {2006},
 title        = {Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes)},
 booktitle    = {AAAI 2006},
 pages        = {900--905},
 url          = {http://www.aaai.org/Library/AAAI/2006/aaai06-142.php},
)
@incollection(pardo2013strong,
 author       = {Pere Pardo and Mehrnoosh Sadrzadeh},
 year         = {2013},
 title        = {Strong Planning in the Logics of Communication and Change},
 booktitle    = {Declarative Agent Languages and Technologies X},
 publisher    = {Springer},
 pages        = {37--56},
 doi          = {10.1007/978-3-642-37890-4{\_}3},
)
@inproceedings(ParikhIS,
 author       = {Rohit. Parikh and R. Ramanujam},
 year         = {1985},
 title        = {Distributed Processes and the Logic of Knowledge},
 booktitle    = {Proceedings of Conference on Logic of Programs},
 publisher    = {Springer-Verlag},
 address      = {London, UK},
 pages        = {256--268},
 doi          = {10.1007/3-540-15648-8{\_}21},
)
@inproceedings(phs02,
 author       = {{\relax Ph}ilippe Schnoebelen},
 year         = {2003},
 title        = {The Complexity of Temporal Logic Model Checking},
 editor       = {{\relax Ph}ilippe Balbiani and Nobu-Yuki Suzuki and Frank Wolter and Michael Zakharyaschev},
 booktitle    = {AiML 2002},
 publisher    = {King's College Publication},
 address      = {Toulouse, France},
 pages        = {393--436},
 url          = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/Sch-aiml02.pdf},
 note         = {Invited paper},
)
@inproceedings(SW98,
 author       = {David E. Smith and Daniel S. Weld},
 year         = {1998},
 title        = {Conformant Graphplan},
 booktitle    = {AAAI 1998},
 pages        = {889--896},
 url          = {http://www.aaai.org/Library/AAAI/1998/aaai98-126.php},
)
@inproceedings(stockmeyer1973,
 author       = {Larry J Stockmeyer and Albert R Meyer},
 year         = {1973},
 title        = {Word problems requiring exponential time (Preliminary Report)},
 booktitle    = {STOC 1973},
 organization = {ACM},
 pages        = {1--9},
 doi          = {10.1145/800125.804029},
)
@inproceedings(ToSP10,
 author       = {Son Thanh To and Tran Cao Son and Enrico Pontelli},
 year         = {2010},
 title        = {A New Approach to Conformant Planning Using CNF*},
 booktitle    = {ICAPS 2010},
 pages        = {169--176},
 url          = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1461},
)
@article(WC12,
 author       = {Yanjing Wang and Qinxiang Cao},
 year         = {2013},
 title        = {On axiomatizations of public announcement logic},
 journal      = {Synthese},
 volume       = {190},
 pages        = {103--134},
 doi          = {10.1007/s11229-012-0233-5},
)
@inproceedings(wang2012,
 author       = {Yanjing Wang and Yanjun Li},
 year         = {2012},
 title        = {Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation.},
 booktitle    = {AiML 2012},
 pages        = {559--580},
 url          = {http://www.aiml.net/volumes/volume9/Wang-Li.pdf},
)
@inproceedings(YWL13,
 author       = {Quan Yu and Ximing Wen and Yongmei Liu},
 year         = {2013},
 title        = {Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions},
 booktitle    = {IJCAI 2013},
 pages        = {1183--1190},
 url          = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6631},
)