Martin Allen & Shlomo Zilberstein (2009):
Complexity of decentralized control: Special cases.
In: Advances in Neural Information Processing Systems,
pp. 19–27.
Chitta Baral, Gregory Gelfond, Enrico Pontelli & Tran Cao Son (2015):
An Action Language for Multi-Agent Domains: Foundations.
CoRR abs/1511.01960.
Available at http://arxiv.org/abs/1511.01960.
T. Bolander, M.H. Jensen & F. Schwarzentruber (2015):
Complexity results in epistemic planning.
In: IJCAI International Joint Conference on Artificial Intelligence 2015-January,
pp. 2791–2797.
Thomas Bolander & Mikkel Birkegaard Andersen (2011):
Epistemic planning for single-and multi-agent systems.
Journal of Applied Non-Classical Logics 21(1),
pp. 9–34,
doi:10.1016/0010-0277(83)90004-5.
Ronald J. Brachman & Hector J. Levesque (1985):
Readings in Knowledge Representation.
Morgan Kaufmann Publishers Inc.,
San Francisco, CA, USA.
Alexander Chagrov (1997):
Modal Logic.
Oxford University Press.
Matthew Crosby, Anders Jonsson & Michael Rovatsos (2014):
A single-agent approach to multiagent planning.
In: Proceedings of the Twenty-first European Conference on Artificial Intelligence.
IOS Press,
pp. 237–242.
Mathijs De Weerdt, André Bos, Hans Tonino & Cees Witteveen (2003):
A resource logic for multi-agent plan merging.
Annals of Mathematics and Artificial Intelligence 37(1-2),
pp. 93–130,
doi:10.1023/A:1020236119243.
Mathijs De Weerdt & Brad Clement (2009):
Introduction to planning in multiagent systems.
Multiagent and Grid Systems 5(4),
pp. 345–355,
doi:10.3233/MGS-2009-0133.
Agostino Dovier, Andrea Formisano & Enrico Pontelli (2013):
Autonomous agents coordination: Action languages meet CLP() and Linda.
Theory and Practice of Logic Programming 13(2),
pp. 149–173,
doi:10.1016/S0004-3702(00)00031-X.
Thorsten Engesser, Thomas Bolander, Robert Mattmüller & Bernhard Nebel (2017):
Cooperative epistemic multi-agent planning for implicit coordination.
arXiv preprint arXiv:1703.02196.
Francesco Fabiano, Idriss Riouak, Agostino Dovier & Enrico Pontelli (2019):
Non-well-founded set based multi-agent epistemic action language.
In: Proceedings of the 34rd Italian Conference on Computational Logic,
CEUR Workshop Proceedings 2396,
Trieste, Italy,
pp. 242–259.
Available at http://ceur-ws.org/Vol-2396/paper38.pdf.
Ronald Fagin & Joseph Y Halpern (1994):
Reasoning about knowledge and probability.
Journal of the ACM (JACM) 41(2),
pp. 340–367,
doi:10.1145/174652.174658.
Michael Gelfond & Vladimir Lifschitz (1998):
Action Languages.
Electron. Trans. Artif. Intell. 2,
pp. 193–210.
Available at http://www.ep.liu.se/ej/etai/1998/007/.
J. Gerbrandy & W. Groeneveld (1997):
Reasoning about information change.
Journal of Logic, Language and Information 6(2),
pp. 147–169,
doi:10.1023/A:1008222603071.
Nicola Gigante (2019):
Timeline-based planning: Expressiveness and Complexity.
CoRR abs/1902.06123.
Claudia V Goldman & Shlomo Zilberstein (2004):
Decentralized control of cooperative systems: Categorization and complexity analysis.
J. Artif. Intell. Res.(JAIR) 22,
pp. 143–174,
doi:10.1613/jair.1427.
Carlos Guestrin, Daphne Koller & Ronald Parr (2002):
Multiagent planning with factored MDPs.
In: Advances in neural information processing systems,
pp. 1523–1530.
X. Huang, B. Fang, H. Wan & Y. Liu (2017):
A general multi-agent epistemic planner based on higher-order belief change.
In: IJCAI International Joint Conference on Artificial Intelligence,
pp. 1093–1101.
Filippos Kominis & Hector Geffner (2015):
Beliefs In Multiagent Planning: From One Agent to Many.
In: Proceedings of the International Conference on Automated Planning and Scheduling, ICAPS,
pp. 147–155.
Filippos Kominis & Hector Geffner (2017):
Multiagent Online Planning with Nested Beliefs and Dialogue.
In: Proceedings of the International Conference on Automated Planning and Scheduling, ICAPS,
Pittsburgh, Pennsylvania, USA,
pp. 186–194.
Available at https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15748.
Saul A. Kripke (1963):
Semantical Considerations on Modal Logic.
Acta Philosophica Fennica 16(1963),
pp. 83–94.
Tiep Le, Francesco Fabiano, Tran Cao Son & Enrico Pontelli (2018):
EFP and PG-EFP: Epistemic Forward Search Planners in Multi-Agent Domains.
In: Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling.
AAAI Press,
Delft, The Netherlands,
pp. 161–170.
Available at https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17733.
Nir Lipovetzky & Hector Geffner (2017):
Best-First Width Search: Exploration and Exploitation in Classical Planning.
In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence,
San Francisco, California, USA,
pp. 3590–3596.
Available at http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14862.
Qiang Liu & Yongmei Liu (2018):
Multi-agent Epistemic Planning with Common Knowledge..
In: IJCAI International Joint Conference on Artificial Intelligence,
pp. 1912–1920.
Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce & Liz Sonenberg (2015):
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach.
In: Proc. of AAAI,
pp. 3327–3334.
E.G. Omodeo, A. Policriti & A.I. Tomescu (2017):
On sets and graphs: Perspectives on logic and combinatorics.
Springer,
doi:10.1007/978-3-319-54981-1.
Silvia Richter & Matthias Westphal (2010):
The LAMA planner: Guiding cost-based anytime planning with landmarks.
Journal of Artificial Intelligence Research 39,
pp. 127–177,
doi:10.1613/jair.2972.
Stuart Russell & Peter Norvig (2009):
Artificial Intelligence: A Modern Approach,
3rd edition.
Prentice Hall Press,
Upper Saddle River, NJ, USA.
Raymond R Smullyan (2012):
First-order logic 43.
Springer Science & Business Media.
Tran Cao Son, Enrico Pontelli, Chitta Baral & Gregory Gelfond (2014):
Finitary S5-theories.
In: European Workshop on Logics in Artificial Intelligence.
Springer,
pp. 239–252,
doi:10.1093/jigpal/jzm059.
Tran Cao Son, Enrico Pontelli, Michael Gelfond & Marcello Balduccini (2016):
An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents.
In: Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, October 16-21, 2016, New York City, USA,
pp. 8:1–8:4,
doi:10.4230/OASIcs.ICLP.2016.8.
Hans Van Ditmarsch, Wiebe van Der Hoek & Barteld Kooi (2007):
Dynamic epistemic logic 337.
Springer Science & Business Media.
Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu & Huada Xu (2015):
A Complete Epistemic Planner without the Epistemic Closed World Assumption.
In: IJCAI International Joint Conference on Artificial Intelligence,
Buenos Aires, Argentina,
pp. 3257–3263.
Available at http://ijcai.org/Abstract/15/459.