Mikkel Birkegaard Andersen, Thomas Bolander & Martin Holm Jensen (2012):
Conditional Epistemic Planning.
Lecture Notes in Artificial Intelligence 7519,
pp. 94–106,
doi:10.1007/978-3-642-33353-8_8.
Proceedings of JELIA 2012.
Guillaume Aucher & Thomas Bolander (2013):
Undecidability in Epistemic Planning.
In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI),
pp. 27–33.
Johan van Benthem, Jelle Gerbrandy & Eric Pacuit (2007):
Merging frameworks for interaction: DEL and ETL.
In: Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge,
TARK '07.
ACM,
New York, NY, USA,
pp. 72–81,
doi:10.1145/1324249.1324262.
P. Blackburn, M. de Rijke & Y. Venema (2001):
Modal Logic.
Cambridge Tracts in Theoretical Computer Science 53.
Cambridge University Press,
Cambridge, UK,
doi:10.1017/CBO9781107050884.
Thomas Bolander (2014):
Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic.
In: Andreas Herzig & Emiliano Lorini: Proceedings of the European Conference on Social Intelligence (ECSI-2014),
CEUR Workshop Proceedings 1283.
CEUR-WS.org,
pp. 87–107.
Thomas Bolander & Mikkel Birkegaard Andersen (2011):
Epistemic Planning for Single- and Multi-Agent Systems.
Journal of Applied Non-Classical Logics 21,
pp. 9–34,
doi:10.3166/jancl.21.9-34.
Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo & François Schwarzentruber (2015):
Announcements to Attentive Agents.
Journal of Logic, Language and Information,
pp. 1–35,
doi:10.1007/s10849-015-9234-3.
Thomas Bolander, Thorsten Engesser, Robert Mattmüller & Bernhard Nebel (2016):
Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination.
In: Distributed and Multi-Agent Planning (DMAP-16),
pp. 42–49.
Thomas Bolander, Martin Holm Jensen & François Schwarzentruber (2015):
Complexity Results in Epistemic Planning.
In: Qiang Yang & Michael Wooldridge: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015.
AAAI Press,
pp. 2791–2797.
Michael Brenner & Bernhard Nebel (2009):
Continual planning and acting in dynamic multiagent environments.
Autonomous Agents and Multi-Agent Systems 19(3),
pp. 297–331,
doi:10.1007/s10458-009-9081-1.
Tristan Charrier, Bastien Maubert & François Schwarzentruber (2016):
On the Impact of Modal Depth in Epistemic Planning.
In: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 12-15, 2016.
Hans van Ditmarsch & Barteld Kooi (2008):
Semantic Results for Ontic and Epistemic Change.
In: Giacomo Bonanno, Wiebe van der Hoek & Michael Wooldridge: Logic and the Foundation of Game and Decision Theory (LOFT 7),
Texts in Logic and Games 3.
Amsterdam University Press,
pp. 87–117.
Jan van Eijck (2014):
Dynamic epistemic logics.
In: Johan van Benthem on Logic and Information Dynamics.
Springer,
pp. 175–202.
Thorsten Engesser, Thomas Bolander, Robert Mattmüller & Bernhard Nebel (2017):
Cooperative Epistemic Multi-Agent Planning for Implicit Coordination.
In: Proceedings of Methods for Modalities,
Electronic Proceedings in Theoretical Computer Science.
Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi (1995):
Reasoning About Knowledge.
MIT Press.
R. Fikes & N. Nilsson (1971):
STRIPS: A new approach to the application of theorem proving to problem solving.
Artificial Intelligence 2,
pp. 189–203,
doi:10.1016/0004-3702(71)90010-5.
Malik Ghallab, Dana S. Nau & Paolo Traverso (2004):
Automated Planning: Theory and Practice.
Morgan Kaufmann.
Andreas Herzig, Emiliano Lorini & Faustine Maffre (2015):
A poor man’s epistemic logic based on propositional assignment and higher-order observation.
In: Logic, Rationality and Interaction,
Lecture Notes in Computer Science 9394.
Springer,
doi:10.1007/978-3-662-48561-3_13.
Wiebe van der Hoek & Michael Wooldridge (2002):
Tractable Multiagent Planning for Epistemic Goals.
In: In Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002).
ACM Press,
pp. 1167–1174,
doi:10.1145/545056.545095.
Wojciech Jamroga & Thomas Aagotnes (2007):
Constructive knowledge: what agents can achieve under imperfect information.
Journal of Applied Non-Classical Logics 17(4),
pp. 423–475,
doi:10.3166/jancl.17.423-475.
Filippos Kominis & Hector Geffner (2014):
Beliefs in multiagent planning: From one agent to many.
In: Proc. ICAPS Workshop on Distributed and Multi-Agent Planning.
Barteld Kooi & Bryan Renne (2011):
Generalized arrow update logic.
In: Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge.
ACM,
pp. 205–211,
doi:10.1145/2000378.2000403.
Jérôme Lang & Bruno Zanuttini (2013):
Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence.
In: TARK 2013.
Kira Mourão, Luke S. Zettlemoyer, Ronald P. A. Petrick & Mark Steedman (2012):
Learning STRIPS Operators from Noisy and Incomplete Observations.
In: Nando de Freitas & Kevin P. Murphy: Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence, Catalina Island, CA, USA, August 14-18, 2012.
AUAI Press,
pp. 614–623.
Christian Muise, Vaishak Belle, Paolo Felli, Sheila McIlraith, Tim Miller, Adrian R Pearce & Liz Sonenberg (2015):
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (Amended Version).
In: Distributed and Multi-Agent Planning (DMAP-15),
pp. 60–67,
doi:10.1.1.684.2394.
Ronald P. A. Petrick & Fahiem Bacchus (2002):
A Knowledge-Based Approach to Planning with Incomplete Information and Sensing.
In: Malik Ghallab, Joachim Hertzberg & Paolo Traverso: Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS-2002).
AAAI Press,
Menlo Park, CA,
pp. 212–221.
Ronald P. A. Petrick & Fahiem Bacchus (2004):
PKS: Knowledge-Based Planning with Incomplete Information and Sensing.
In: ICAPS 2004.
Jussi Rintanen (2006):
Introduction to automated planning.
Stuart Russell & Peter Norvig (1995):
Artificial Intelligence: A Modern Approach.
Prentice Hall.
Thomas J. Walsh & Michael L. Littman (2008):
Efficient Learning of Action Schemas and Web-service Descriptions.
In: Proceedings of the 23rd National Conference on Artificial Intelligence - Volume 2,
AAAI'08.
AAAI Press,
pp. 714–719.
Quan Yu, Ximing Wen & Yongmei Liu (2013):
Multi-agent epistemic explanatory diagnosis via reasoning about actions.
In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI),
pp. 27–33.