Martin Holm Jensen

According to our database, Martin Holm Jensen authored at least 7 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Improving Uncertainty Estimation in Convolutional Neural Networks Using Inter-rater Agreement.

Martin Holm Jensen, Dan Richter Jørgensen, Raluca Jalaboi, Mads Eiler Hansen, Martin Aastrup Olsen

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2019, 2019

2017

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

2015

Complexity Results in Epistemic Planning.

Thomas Bolander, Martin Holm Jensen, François Schwarzentruber

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

Epistemic and Doxastic Planning.

Martin Holm Jensen

PhD thesis, 2014

2013

Planning Using Dynamic Epistemic Logic: Correspondence and Complexity.

Martin Holm Jensen

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Bisimulation for Single-Agent Plausibility Models.

Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen

Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

2012

Conditional Epistemic Planning.

Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012