@article(baral2015action,
 author       = {Chitta Baral and Gregory Gelfond and Enrico Pontelli and Tran Cao Son},
 year         = {2015},
 title        = {An Action Language for Multi-Agent Domains: Foundations},
 journal      = {CoRR},
 volume       = {abs/1511.01960},
 url          = {http://arxiv.org/abs/1511.01960},
)
@article(bolander2011epistemic,
 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.1016/0010-0277(83)90004-5},
)
@inproceedings(booch2020thinking,
 author       = {Grady Booch and Francesco Fabiano and Lior Horesh and Kiran Kate and Jonathan Lenchner and Nick Linck and Andrea Loreggia and Keerthiram Murugesan and Nicholas Mattei and Francesca Rossi and Biplav Srivastava},
 year         = {2021},
 title        = {Thinking Fast and Slow in {AI}},
 booktitle    = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, Virtual Event},
 publisher    = {{AAAI} Press},
 pages        = {15042--15046},
 url          = {https://ojs.aaai.org/index.php/AAAI/article/view/17765},
)
@article(iclp20,
 author       = {Alessandro Burigana and Francesco Fabiano and Agostino Dovier and Enrico Pontelli},
 year         = {2020},
 title        = {Modelling Multi-Agent Epistemic Planning in ASP},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {20},
 number       = {5},
 pages        = {593\IeC{\textendash}608},
 doi          = {10.1017/S1471068420000289},
)
@book(Chagrov1997,
 author       = {Alexander V. Chagrov and Michael Zakharyaschev},
 year         = {1997},
 title        = {Modal Logic},
 series       = {Oxford logic guides},
 volume       = {35},
 publisher    = {Oxford University Press},
)
@inproceedings(crosby2014single,
 author       = {Matthew Crosby and Anders Jonsson and Michael Rovatsos},
 year         = {2014},
 title        = {A Single-Agent Approach to Multiagent Planning},
 booktitle    = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic},
 volume       = {263},
 publisher    = {{IOS} Press},
 pages        = {237--242},
 doi          = {10.3233/978-1-61499-419-0-237},
)
@article(de2003resource,
 author       = {De Weerdt, Mathijs and Andr{\'e} Bos and Hans Tonino and Cees Witteveen},
 year         = {2003},
 title        = {A resource logic for multi-agent plan merging},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 volume       = {37},
 number       = {1-2},
 pages        = {93--130},
 doi          = {10.1023/A:1020236119243},
)
@article(de2009introduction,
 author       = {De Weerdt, Mathijs and Brad Clement},
 year         = {2009},
 title        = {Introduction to planning in multiagent systems},
 journal      = {Multiagent and Grid Systems},
 volume       = {5},
 number       = {4},
 pages        = {345--355},
 doi          = {10.3233/MGS-2009-0133},
)
@article(dovier1,
 author       = {Agostino Dovier and Andrea Formisano and Enrico Pontelli},
 year         = {2013},
 title        = {{Autonomous agents coordination: Action languages meet CLP() and Linda}},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {13},
 number       = {2},
 pages        = {149--173},
 doi          = {10.1016/S0004-3702(00)00031-X},
)
@inproceedings(engesser2017cooperative,
 author       = {Thorsten Engesser and Thomas Bolander and Robert Mattm{\"{u}}ller and Bernhard Nebel},
 year         = {2017},
 title        = {Cooperative Epistemic Multi-Agent Planning for Implicit Coordination},
 booktitle    = {Proceedings of the Ninth Workshop on Methods for Modalities, M4M@ICLA 2017, Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017},
 series       = {{EPTCS}},
 volume       = {243},
 pages        = {75--90},
 doi          = {10.4204/EPTCS.243.6},
)
@inproceedings(DBLP:journals/corr/abs-1909-08259,
 author       = {Francesco Fabiano},
 year         = {2019},
 title        = {Design of a Solver for Multi-Agent Epistemic Planning},
 booktitle    = {Proceedings 35th International Conference on Logic Programming (Technical Communications)},
 pages        = {403--412},
 doi          = {10.4204/EPTCS.306.54},
)
@inproceedings(icaps20,
 author       = {Francesco Fabiano and Alessandro Burigana and Agostino Dovier and Enrico Pontelli},
 year         = {2020},
 title        = {{EFP} 2.0: {A} Multi-Agent Epistemic Solver with Multiple E-State Representations},
 booktitle    = {Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020},
 publisher    = {{AAAI} Press},
 pages        = {101--109},
 url          = {https://aaai.org/ojs/index.php/ICAPS/article/view/6650},
)
@inproceedings(cilc19Epistemic,
 author       = {Francesco Fabiano and Idriss Riouak and Agostino Dovier and Enrico Pontelli},
 year         = {2019},
 title        = {Non-Well-Founded Set Based Multi-Agent Epistemic Action Language},
 booktitle    = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019},
 series       = {{CEUR} Workshop Proceedings},
 volume       = {2396},
 publisher    = {CEUR-WS.org},
 pages        = {242--259},
 url          = {http://ceur-ws.org/Vol-2396/paper38.pdf},
)
@inproceedings(epddl,
 author       = {Francesco Fabiano and Biplav Srivastava and Jonathan Lenchner and Lior Horesh and Francesca Rossi and Marianna Bergamaschi Ganapini},
 year         = {2021},
 title        = {E-PDDL: A Standardized Way of Defining Epistemic Planning Problems},
 booktitle    = {Knowledge Engineering for Planning and Scheduling},
 address      = {Online},
 pages        = {in press},
 url          = {https://icaps21.icaps-conference.org/workshops/KEPS/Papers/KEPS_2021_paper_3.pdf},
)
@article(fagin1994reasoning,
 author       = {Ronald Fagin and Joseph Y Halpern},
 year         = {1994},
 title        = {Reasoning about knowledge and probability},
 journal      = {Journal of the ACM (JACM)},
 volume       = {41},
 number       = {2},
 pages        = {340--367},
 doi          = {10.1145/174652.174658},
)
@article(gelfond1998action,
 author       = {Michael Gelfond and Vladimir Lifschitz},
 year         = {1998},
 title        = {Action Languages},
 journal      = {Electron. Trans. Artif. Intell.},
 volume       = {2},
 pages        = {193--210},
 url          = {http://www.ep.liu.se/ej/etai/1998/007/},
)
@article(Gerbrandy1997,
 author       = {J. Gerbrandy and W. Groeneveld},
 year         = {1997},
 title        = {Reasoning about information change},
 journal      = {Journal of Logic, Language and Information},
 volume       = {6},
 number       = {2},
 pages        = {147--169},
 doi          = {10.1023/A:1008222603071},
)
@article(goldman2004decentralized,
 author       = {Claudia V Goldman and Shlomo Zilberstein},
 year         = {2004},
 title        = {Decentralized control of cooperative systems: Categorization and complexity analysis},
 journal      = {J. Artif. Intell. Res.(JAIR)},
 volume       = {22},
 pages        = {143--174},
 doi          = {10.1613/jair.1427},
)
@inproceedings(huang2017general,
 author       = {Xiao Huang and Biqing Fang and Hai Wan and Yongmei Liu},
 year         = {2017},
 title        = {A General Multi-agent Epistemic Planner Based on Higher-order Belief Change},
 booktitle    = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017},
 publisher    = {ijcai.org},
 pages        = {1093--1101},
 doi          = {10.24963/ijcai.2017/152},
)
@inproceedings(kominis2017multiagent,
 author       = {Filippos Kominis and Hector Geffner},
 year         = {2017},
 title        = {Multiagent Online Planning with Nested Beliefs and Dialogue},
 booktitle    = {Proceedings of the International Conference on Automated Planning and Scheduling, {ICAPS}},
 address      = {Pittsburgh, Pennsylvania, USA},
 pages        = {186--194},
 url          = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15748},
)
@article(Kripke1963-KRISCO,
 author       = {Saul A. Kripke},
 year         = {1963},
 title        = {Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi},
 journal      = {Mathematical Logic Quarterly},
 volume       = {9},
 number       = {5-6},
 pages        = {67--96},
 doi          = {10.1002/malq.19630090502},
)
@inproceedings(le2018efp,
 author       = {Tiep Le and Francesco Fabiano and Tran Cao Son and Enrico Pontelli},
 year         = {2018},
 title        = {{EFP} and {PG-EFP}: Epistemic Forward Search Planners in Multi-Agent Domains},
 booktitle    = {Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling},
 publisher    = {{AAAI} Press},
 address      = {Delft, The Netherlands},
 pages        = {161--170},
 url          = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17733},
)
@inproceedings(lipovetzky2017best,
 author       = {Nir Lipovetzky and Hector Geffner},
 year         = {2017},
 title        = {Best-First Width Search: Exploration and Exploitation in Classical Planning},
 booktitle    = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence},
 address      = {San Francisco, California, {USA}},
 pages        = {3590--3596},
 url          = {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14862},
)
@inproceedings(muise2015planning,
 author       = {Christian J. Muise and Vaishak Belle and Paolo Felli and Sheila A. 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    = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, {USA}},
 publisher    = {{AAAI} Press},
 pages        = {3327--3334},
 url          = {http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9974},
)
@article(richter2010lama,
 author       = {Silvia Richter and Matthias Westphal},
 year         = {2010},
 title        = {The LAMA planner: Guiding cost-based anytime planning with landmarks},
 journal      = {Journal of Artificial Intelligence Research},
 volume       = {39},
 pages        = {127--177},
 doi          = {10.1613/jair.2972},
)
@book(modernApproach,
 author       = {Stuart J. Russell and Peter Norvig},
 year         = {2010},
 title        = {Artificial Intelligence - {A} Modern Approach, Third International Edition},
 publisher    = {Pearson Education},
 url          = {http://vig.pearsoned.com/store/product/1,1207,store-12521\_isbn-0136042597,00.html},
)
@book(smullyan2012first,
 author       = {Raymond R. Smullyan},
 year         = {1968},
 title        = {First-order logic},
 volume       = {43},
 publisher    = {Springer-Verlag Berlin Heidelberg},
 doi          = {10.1007/978-3-642-86718-7},
)
@book(van2007dynamic,
 author       = {Van Ditmarsch, Hans and Wiebe van Der Hoek and Barteld Kooi},
 year         = {2007},
 title        = {Dynamic epistemic logic},
 volume       = {337},
 publisher    = {Springer Netherlands},
 doi          = {10.1007/978-1-4020-5839-4},
)
@inproceedings(wan2015complete,
 author       = {Hai Wan and Rui Yang and Liangda Fang and Yongmei Liu and Huada Xu},
 year         = {2015},
 title        = {A Complete Epistemic Planner without the Epistemic Closed World Assumption},
 booktitle    = {{IJCAI} International Joint Conference on Artificial Intelligence},
 address      = {Buenos Aires, Argentina},
 pages        = {3257--3263},
 url          = {http://ijcai.org/Abstract/15/459},
)