Mikkel Birkegaard Andersen

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 1

Top Topics

Planning Domains

Epistemic States

Evidential Reasoning

Top Venues

Australasian Conference on Artificial Intelligence

Publications

Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. Synth. 194 (7) (2017)
Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. CoRR (2015)
Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen
Bisimulation for Single-Agent Plausibility Models. Australasian Conference on Artificial Intelligence (2013)
Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen
Conditional Epistemic Planning. JELIA (2012)
Thomas Bolander, Mikkel Birkegaard Andersen
Epistemic planning for single and multi-agent systems. J. Appl. Non Class. Logics 21 (1) (2011)