Complexity results in epistemic planning T Bolander, MH Jensen, F Schwarzentruber 24th International Joint Conference on Artificial Intelligence, 2791-2797, 2015 | 87 | 2015 |
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 | 58 | 2019 |
Conditional epistemic planning MB Andersen, T Bolander, MH Jensen European Workshop on Logics in Artificial Intelligence, 94-106, 2012 | 58 | 2012 |
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 | 22 | 2015 |
Epistemic and doxastic planning MH Jensen Technical University of Denmark, 2014 | 19 | 2014 |
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 | 9 | 2013 |
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 | 5 | 2017 |
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 | 2 | 2024 |
Planning using dynamic epistemic logic: Correspondence and complexity MH Jensen International Workshop on Logic, Rationality and Interaction, 316-320, 2013 | 2 | 2013 |
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, ... | 1 | 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 | | |