Thomas Ågotnes, Philippe Balbiani, Hans P. van Ditmarsch & Pablo Seban (2010):
Group announcement logic.
Journal of Applied Logic 8(1),
pp. 62–81,
doi:10.1016/j.jal.2008.12.002.
Alexandre Albore, Hector Palacios & Hector Geffner (2009):
A Translation-Based Approach to Contingent Planning.
In: Proc. IJCAI 2009,
pp. 1623–1628.
Mikkel Birkegaard Andersen (2015):
Towards Theory-of-Mind agents using Automated Planning and Dynamic Epistemic Logic.
Technical University of Denmark.
Mikkel Birkegaard Andersen, Thomas Bolander & Martin Holm Jensen (2012):
Conditional Epistemic Planning.
In: Proc. JELIA 2012,
pp. 94–106,
doi:10.1007/978-3-642-33353-8_8.
Mikkel Birkegaard Andersen, Thomas Bolander & Martin Holm Jensen (2015):
Don't Plan for the Unexpected: Planning Based on Plausibility Models.
Logique et Analyse 58(230),
doi:10.2143/LEA.230.0.3141807.
Guillaume Aucher & Thomas Bolander (2013):
Undecidability in Epistemic Planning.
In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013).
Johan van Benthem, Jan van Eijck, Malvin Gattinger & Kaile Su (2015):
Symbolic Model Checking for Dynamic Epistemic Logic.
In: Proceedings of the 5th International Workshop on Logic, Rationality, and Interaction (LORI 2015),
pp. 366–378,
doi:10.1007/978-3-662-48561-3_30.
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.3166/jancl.21.9-34.
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.
Nils Bulling & Wojciech Jamroga (2014):
Comparing variants of strategic ability: how uncertainty and memory influence general properties of games.
Autonomous Agents and Multi-Agent Systems 28(3),
pp. 474–518,
doi:10.1007/s10458-013-9231-3.
Alessandro Cimatti, Marco Pistore, Marco Roveri & Paolo Traverso (2003):
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking.
Artificial Intelligence 147(1–2),
pp. 35–84,
doi:10.1016/S0004-3702(02)00374-0.
Hans P. van Ditmarsch (2003):
The Russian Cards Problem.
Studia Logica 75(1),
pp. 31–62,
doi:10.1023/A:1026168632319.
Hans P. van Ditmarsch, Wiebe van der Hoek & Barteld Kooi (2007):
Dynamic Epistemic Logic.
Springer Heidelberg,
doi:10.1007/978-1-4020-5839-4.
Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden & Ji Ruan (2006):
Model Checking Russian Cards.
Electronic Notes in Theoretical Computer Science 149(2),
pp. 105–123,
doi:10.1016/j.entcs.2005.07.029.
Edmund H. Durfee (2001):
Distributed Problem Solving and Planning.
In: Proc. ACAI 2001,
pp. 118–149.
Jan van Eijck (2004):
Dynamic epistemic modelling.
CWI. Software Engineering [SEN].
Malik Ghallab, Dana S. Nau & Paolo Traverso (2004):
Automated Planning: Theory and Practice.
Morgan Kaufmann.
Wojciech Jamroga (2004):
Strategic Planning through Model Checking of ATL Formulae.
In: ICAISC,
pp. 879–884,
doi:10.1007/978-3-540-24844-6_136.
Wojciech Jamroga & Thomas Ågotnes (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.
Wojciech Jamroga & Wiebe van der Hoek (2004):
Agents that Know How to Play.
Fundam. Inform. 63(2–3),
pp. 185–219.
Filippos Kominis & Hector Geffner (2015):
Beliefs in Multiagent Planning: From One Agent to Many.
In: Proc. ICAPS 2015,
pp. 147–155.
Benedikt Löwe, Eric Pacuit & Andreas Witzel (2011):
DEL planning and some tractable cases.
In: Proc. LORI 2011,
pp. 179–192,
doi:10.1007/978-3-642-24130-7_13.
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.
In: Proc. AAAI 2015,
pp. 3327–3334,
doi:10.1.1.684.2394.
Raz Nissim & Ronen I. Brafman (2014):
Distributed Heuristic Forward Search for Multi-agent Planning.
Journal of Artificial Intelligence Research 51,
pp. 293–332,
doi:10.1613/jair.4295.
Héctor Palacios & Hector Geffner (2009):
Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width.
Journal of Artificial Intelligence Research 35,
pp. 623–675,
doi:10.1613/jair.2708.
Ronald P. A. Petrick & Fahiem Bacchus (2002):
A Knowledge-Based Approach to Planning with Incomplete Information and Sensing.
In: Proc. AIPS 2002,
pp. 212–222,
doi:10.1.1.16.7462.
Ronald P. A. Petrick & Fahiem Bacchus (2004):
Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing.
In: Proc. ICAPS 2004,
pp. 2–11.
Ronald P. A. Petrick & Mary Ellen Foster (2013):
Planning for Social Interaction in a Robot Bartender Domain.
In: Proc. ICAPS 2013,
pp. 389–397.
David Premack & Guy Woodruff (1978):
Does the chimpanzee have a theory of mind?.
Behavioral and Brain Sciences 1(4),
pp. 515–526,
doi:10.1017/S0140525X00076512.
Duncan J. Watts & Steven H. Strogatz (1998):
Collective dynamics of 'small-world' networks.
Nature 393(6684),
pp. 440–442,
doi:10.1038/30918.
eptcs@eptcs.org