Martin Holm Jensen
Title
Cited by
Cited by
Year
Complexity results in epistemic planning
T Bolander, MH Jensen, F Schwarzentruber
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
602015
Conditional epistemic planning
MB Andersen, T Bolander, MH Jensen
European Workshop on Logics in Artificial Intelligence, 94-106, 2012
452012
Don't plan for the unexpected: Planning based on plausibility models
MB Andersen, T Bolander, MH Jensen
Logique et Analyse, 145-176, 2015
182015
Epistemic and doxastic planning
MH Jensen
Technical University of Denmark, Applied Mathematics and Computer Science, 2014
132014
Improving uncertainty estimation in convolutional neural networks using inter-rater agreement
MH Jensen, DR Jørgensen, R Jalaboi, ME Hansen, MA Olsen
International Conference on Medical Image Computing and Computer-Assisted …, 2019
112019
Bisimulation for single-agent plausibility models
MB Andersen, T Bolander, H van Ditmarsch, MH Jensen
Australasian Joint Conference on Artificial Intelligence, 277-288, 2013
72013
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
MB Andersen, T Bolander, H van Ditmarsch, MH Jensen
Synthese 194 (7), 2447-2487, 2017
32017
Planning using dynamic epistemic logic: Correspondence and complexity
MH Jensen
International Workshop on Logic, Rationality and Interaction, 316-320, 2013
22013
Reasoning About Knowledge in Planning
MH Jensen
Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark, 2010
2010
Improving uncertainty estimation in convolutional neural networks using inter-rater agreement Open Website
MH Jensen, DR Jørgensen, R Jalaboi, ME Hansen, MA Olsen
Bisimulation for Single-Agent Plausibility Models
T Bolander, H van Ditmarsch, MH Jensen
The system can't perform the operation now. Try again later.
Articles 1–11