@inproceedings(allen2009complexity,
 author       = {Martin Allen and Shlomo Zilberstein},
 year         = {2009},
 title        = {Complexity of decentralized control: Special cases},
 booktitle    = {Advances in Neural Information Processing Systems},
 pages        = {19--27},
)
@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},
)
@conference(bolander2015complexity,
 author       = {T. Bolander and M.H. Jensen and F. Schwarzentruber},
 year         = {2015},
 title        = {Complexity results in epistemic planning},
 booktitle    = {{IJCAI} International Joint Conference on Artificial Intelligence},
 volume       = {2015-January},
 pages        = {2791--2797},
)
@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},
)
@book(Brachman:1985:RKR:577033,
 editor       = {Ronald J. Brachman and Hector J. Levesque},
 year         = {1985},
 title        = {Readings in Knowledge Representation},
 publisher    = {Morgan Kaufmann Publishers Inc.},
 address      = {San Francisco, CA, USA},
)
@book(Chagrov1997,
 author       = {Alexander Chagrov},
 year         = {1997},
 title        = {Modal Logic},
 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    = {Proceedings of the Twenty-first European Conference on Artificial Intelligence},
 organization = {IOS Press},
 pages        = {237--242},
)
@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},
)
@article(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},
 journal      = {arXiv preprint arXiv:1703.02196},
)
@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 34rd Italian Conference on Computational Logic},
 series       = {{CEUR} Workshop Proceedings},
 volume       = {2396},
 address      = {Trieste, Italy},
 pages        = {242--259},
 url          = {http://ceur-ws.org/Vol-2396/paper38.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(DBLP:journals/corr/abs-1902-06123,
 author       = {Nicola Gigante},
 year         = {2019},
 title        = {Timeline-based planning: Expressiveness and Complexity},
 journal      = {CoRR},
 volume       = {abs/1902.06123},
)
@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(guestrin2002multiagent,
 author       = {Carlos Guestrin and Daphne Koller and Ronald Parr},
 year         = {2002},
 title        = {Multiagent planning with factored MDPs},
 booktitle    = {Advances in neural information processing systems},
 pages        = {1523--1530},
)
@conference(huang2017general,
 author       = {X. Huang and B. Fang and H. Wan and Y. Liu},
 year         = {2017},
 title        = {A general multi-agent epistemic planner based on higher-order belief change},
 booktitle    = {{IJCAI} International Joint Conference on Artificial Intelligence},
 pages        = {1093--1101},
)
@inproceedings(kominis2015beliefs,
 author       = {Filippos Kominis and Hector Geffner},
 year         = {2015},
 title        = {Beliefs In Multiagent Planning: From One Agent to Many},
 booktitle    = {Proceedings of the International Conference on Automated Planning and Scheduling, {ICAPS}},
 pages        = {147--155},
)
@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 Considerations on Modal Logic},
 journal      = {Acta Philosophica Fennica},
 volume       = {16},
 number       = {1963},
 pages        = {83--94},
)
@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(liu2018multi,
 author       = {Qiang Liu and Yongmei Liu},
 year         = {2018},
 title        = {Multi-agent Epistemic Planning with Common Knowledge.},
 booktitle    = {{IJCAI} International Joint Conference on Artificial Intelligence},
 pages        = {1912--1920},
)
@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    = {Proc. of {AAAI}},
 pages        = {3327--3334},
)
@book(Omodeo20171,
 author       = {E.G. Omodeo and A. Policriti and A.I. Tomescu},
 year         = {2017},
 title        = {On sets and graphs: Perspectives on logic and combinatorics},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-54981-1},
)
@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 Russell and Peter Norvig},
 year         = {2009},
 title        = {Artificial Intelligence: A Modern Approach},
 edition      = {3rd},
 publisher    = {Prentice Hall Press},
 address      = {Upper Saddle River, NJ, USA},
)
@book(smullyan2012first,
 author       = {Raymond R Smullyan},
 year         = {2012},
 title        = {First-order logic},
 volume       = {43},
 publisher    = {Springer Science \& Business Media},
)
@inproceedings(son2014finitary,
 author       = {Tran Cao Son and Enrico Pontelli and Chitta Baral and Gregory Gelfond},
 year         = {2014},
 title        = {Finitary S5-theories},
 booktitle    = {European Workshop on Logics in Artificial Intelligence},
 organization = {Springer},
 pages        = {239--252},
 doi          = {10.1093/jigpal/jzm059},
)
@inproceedings(DBLP:conf/iclp/SonPGB16,
 author       = {Tran Cao Son and Enrico Pontelli and Michael Gelfond and Marcello Balduccini},
 year         = {2016},
 title        = {An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents},
 booktitle    = {Technical Communications of the 32nd International Conference on Logic Programming, {ICLP} 2016 TCs, October 16-21, 2016, New York City, {USA}},
 pages        = {8:1--8:4},
 doi          = {10.4230/OASIcs.ICLP.2016.8},
)
@book(van2007dynamic,
 author       = {Van Ditmarsch, Hans and Wiebe van Der Hoek and Barteld Kooi},
 year         = {2007},
 title        = {Dynamic epistemic logic},
 volume       = {337},
 publisher    = {Springer Science \& Business Media},
)
@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},
)