( en | de | ru )

 

Disambiguation of "Jensen, Martin Holm"

Author of the publication

copydeleteadd this publication to your clipboard
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief.

, , , and . CoRR, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Martin Jensen

Günter Martin Jensen

Thore Holm

Thore Holm

Nikolai Elias Holm-Hadulla

 

Other publications of authors with the same name

Epistemic and Doxastic Planning.. Technical University of Denmark, (2014)Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief., , , and . Synthese, 194 (7): 2447-2487 (2017)Bisimulation for Single-Agent Plausibility Models., , , and . Australasian Conference on Artificial Intelligence, volume 8272 of Lecture Notes in Computer Science, page 277-288. Springer, (2013)Complexity Results in Epistemic Planning., , and . IJCAI, page 2791-2797. AAAI Press, (2015)Conditional Epistemic Planning., , and . JELIA, volume 7519 of Lecture Notes in Computer Science, page 94-106. Springer, (2012)Improving Uncertainty Estimation in Convolutional Neural Networks Using Inter-rater Agreement., , , , and . MICCAI (4), volume 11767 of Lecture Notes in Computer Science, page 540-548. Springer, (2019)Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief., , , and . CoRR, (2015)Planning Using Dynamic Epistemic Logic: Correspondence and Complexity.. LORI, volume 8196 of Lecture Notes in Computer Science, page 316-320. Springer, (2013)