Epistemic planning for single and multi-agent systems. - Thomas Bolander; Mikkel Birkegaard Andersen (J. Appl. Non Class. Logics, 2011)

Conditional Epistemic Planning. - Mikkel Birkegaard Andersen; Thomas Bolander; Martin Holm Jensen (JELIA, 2012)

Bisimulation for Single-Agent Plausibility Models. - Mikkel Birkegaard Andersen; Thomas Bolander; Hans van Ditmarsch; Martin Holm Jensen (Australasian Conference on Artificial Intelligence, 2013)

Towards Theory-of-Mind agents using Automated Planning and Dynamic Epistemic Logic. - Mikkel Birkegaard Andersen (2015)

Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. - Mikkel Birkegaard Andersen; Thomas Bolander; Hans van Ditmarsch; Martin Holm Jensen (Synth., 2017)