• 2800 Kgs. Lyngby

    Denmark

20102020

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Article in proceedings

Search results

  • 2015

    Complexity Results in Epistemic Planning

    Bolander, T., Jensen, M. H. & Schwarzentruber, F., 2015, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). Yang, Q. & Wooldridge, M. (eds.). AAAI Press, p. 2791-2797

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    98 Downloads (Pure)
  • 2013

    Bisimulation for Single-Agent Plausibility Models

    Andersen, M. B., Bolander, T., van Ditmarsch, H. & Jensen, M. H., 2013, AI 2013: Advances in Artificial Intelligence: 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. Springer, p. 277-288 (Lecture Notes in Computer Science, Vol. 8272).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Planning using dynamic epistemic logic: Correspondence and complexity

    Jensen, M. H., 2013, Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings. Springer, p. 316-320 (Lecture Notes in Computer Science, Vol. 8196).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2012

    Conditional Epistemic Planning

    Andersen, M. B., Bolander, T. & Jensen, M. H., 2012, Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings. Springer, p. 94-106 (Lecture Notes in Computer Science, Vol. 7519).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review