About Me

me

Defended by PhD thesis titled "Epistemic and Doxastic Planning" on April 3 2014 (see publications).

Currently Postdoc at the Department of Applied Mathematics and Computer Science, Technical University of Denmark (DTU).

Keywords: artificial intelligence, dynamic epistemic logic, doxastic logic, planning, multi-agent systems

Contact Information DTU Phonebook

Martin Holm Jensen
+45 4525 5404
mhje@dtu.dk
Elektrovej, Building 322, Room 017, Technical University of Denmark (DTU) (Map)
2800 Kgs. Lyngby

Current Research Project

The goal of my current research project is the development of an adaptive software system for unsupervised language acquisition by autistic children. The project is led by Thomas Bolander and is being carried out in collaboration with the Danish company DigiPlay, and receives funding from Offentlige-Private Alliancer (OPALL).

  • Modality and Modalities 2014 in Lund. PDF
    Martin Holm Jensen.
    Slides from my presentation of this project at M&M14.

Publications

  • Epistemic and Doxastic Planning. PDF (for reading from screen), PDF (for printing)
    Martin Holm Jensen.
    PhD Thesis, supervised by Thomas Bolander.
    Defended April 3 in front of an assessment committee consisting of Valentin Goranko (Chairman), Thomas Ã…gotnes and Andreas Herzig.
  • Don't Plan for the Unexpected: Planning Based on Plausibility Models. PDF
    Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen.
    Logique et Analyse, to appear.
  • Bisimulation for single-agent plausibility models PDF
    Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen.
    In Proceedings of the 26th Australasian Joint Conference on Artificial Intelligence (AI 2013). Lecture Notes in Computer Science 8272: 277 – 288, 2013.
  • Planning using dynamic epistemic logic: Correspondence and complexity PDF
    Martin Holm Jensen.
    In Proceedings of the 4th International Workshop on Logic, Rationality and Interaction (LORI 2013). Lecture Notes in Computer Science 8196: 316 – 320, 2013.
  • Conditional Epistemic Planning [PDF, Extended]
    Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen.
    In Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA 2012). Lecture Notes in Artificial Intelligence 7519: 94 – 106, 2012.
  • See also my DTU Orbit page.

Teaching

Academic Curriculum Vitae

  • PhD student at the Technical Universty of Denmark
    Title: Epistemic Planning for Multi-Agent Systems. Supervised by Thomas Bolander
    September 2010 - January 2014
  • Master of Science in Engineering (Computer Science and Engineering)
    The Technical University of Denmark
    August 2005 - August 2010