Martin Holm Jensen

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 4

Top Topics

Dynamic Epistemic Logic

Convolutional Neural Networks

Heuristic Search

Top Venues

Australasian Conference on Artificial Intelligence

Publications

Martin Holm Jensen, Dan Richter Jørgensen, Raluca Jalaboi, Mads Eiler Hansen, Martin Aastrup Olsen
Improving Uncertainty Estimation in Convolutional Neural Networks Using Inter-rater Agreement. MICCAI (4) (2019)
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)
Thomas Bolander, Martin Holm Jensen, François Schwarzentruber
Complexity Results in Epistemic Planning. IJCAI (2015)
Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen
Bisimulation for Single-Agent Plausibility Models. Australasian Conference on Artificial Intelligence (2013)
Martin Holm Jensen
Planning Using Dynamic Epistemic Logic: Correspondence and Complexity. LORI (2013)
Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen
Conditional Epistemic Planning. JELIA (2012)