Follow
Martin Holm Jensen
Title
Cited by
Cited by
Year
Complexity results in epistemic planning
T Bolander, MH Jensen, F Schwarzentruber
24th International Joint Conference on Artificial Intelligence, 2791-2797, 2015
862015
Conditional epistemic planning
MB Andersen, T Bolander, MH Jensen
European Workshop on Logics in Artificial Intelligence, 94-106, 2012
582012
Improving uncertainty estimation in convolutional neural networks using inter-rater agreement
MH Jensen, DR Jørgensen, R Jalaboi, ME Hansen, MA Olsen
Medical Image Computing and Computer Assisted Intervention–MICCAI 2019: 22nd …, 2019
532019
Don't plan for the unexpected: Planning based on plausibility models
M BIRKEGAARD ANDERSEN, T Bolander, M HOLM JENSEN
Logique et Analyse 230, 145-176, 2015
222015
Epistemic and doxastic planning
MH Jensen
Technical University of Denmark, 2014
192014
Bisimulation for single-agent plausibility models
MB Andersen, T Bolander, H van Ditmarsch, MH Jensen
AI 2013: Advances in Artificial Intelligence: 26th Australasian Joint …, 2013
92013
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
MB Andersen, T Bolander, H van Ditmarsch, MH Jensen
Synthese 194, 2447-2487, 2017
52017
Planning using dynamic epistemic logic: Correspondence and complexity
MH Jensen
International Workshop on Logic, Rationality and Interaction, 316-320, 2013
22013
Finansieringsbehov til afdækning af centrale vidensbehov for en mere klimavenlig landbrugsproduktion
JE Olesen, MN Andersen, PE Lærke, L Mogensen, MT Knudsen, P Lund, ...
12024
Estimering af videns-og finansieringsbehov for opnåelse af klimamål i 2030
JE Olesen, P Lund, A Feilberg, TM Villumsen, HL Kristensen, A Winding, ...
Aarhus Universitet-DCA-Nationalt Center for Fødevarer og Jordbrug, 2024
2024
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
M Birkegaard Andersen, T Bolander, H van Ditmarsch, M Holm Jensen
arXiv e-prints, arXiv: 1506.07990, 2015
2015
Reasoning About Knowledge in Planning
MH Jensen
Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark, 2010
2010
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–13