Follow
Martin Holm Jensen
Title
Cited by
Cited by
Year
Complexity Results in Epistemic Planning.
T Bolander, MH Jensen, F Schwarzentruber
IJCAI, 2791-2797, 2015
852015
Conditional epistemic planning
MB Andersen, T Bolander, MH Jensen
European Workshop on Logics in Artificial Intelligence, 94-106, 2012
542012
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
442019
Don't plan for the unexpected: Planning based on plausibility models
MB Andersen, T Bolander, MH Jensen
Logique et Analyse, 145-176, 2015
212015
Epistemic and doxastic planning
MH Jensen
Technical University of Denmark, Applied Mathematics and Computer Science, 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
42017
Planning using dynamic epistemic logic: Correspondence and complexity
MH Jensen
International Workshop on Logic, Rationality and Interaction, 316-320, 2013
22013
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–11