Thomas Bolander

  1. Published

    Don't Plan for the Unexpected: Planning Based on Plausibility Models. / Andersen, Mikkel Birkegaard; Bolander, Thomas; Jensen, Martin Holm.

    In: Logique et Analyse, Vol. 58, No. 230, 2015.

    Publication: Research - peer-reviewJournal article – Annual report year: 2015

  2. Published

    Towards Theory-of-Mind agents using Automated Planning and Dynamic Epistemic Logic. / Andersen, Mikkel Birkegaard; Bolander, Thomas (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2015. 177 p. (DTU Compute PHD-2014; No. 351).

    Publication: ResearchPh.D. thesis – Annual report year: 2015

  3. E-pub ahead of print

    Completeness and Termination for a Seligman-style Tableau System. / Blackburn, Patrick Rowan; Bolander, Thomas; Braüner, Torben; Jørgensen, Klaus Frovin.

    In: Journal of Logic and Computation, 2015, p. 1-27.

    Publication: Research - peer-reviewJournal article – Annual report year: 2015

  4. Published

    Complexity Results in Epistemic Planning. / Bolander, Thomas; Jensen, Martin Holm; Schwarzentruber, Francois .

    Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). ed. / Qiang Yang; Michael Wooldridge. AAAI Press, 2015. p. 2791-2797.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2015

  5. Published

    Kursusudvikling gennem systematisk evaluering. / Bolander, Thomas.

    Universitetspædagogiske praksisser. ed. / Peter Stray Jørgensen; Lotte Rienecker . Samfundslitteratur, 2015. p. 283-300.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2015

  6. Published

    Cooperative Epistemic Multi-Agent Planning With Implicit Coordination. / Engesser, Thorsten ; Bolander, Thomas; Mattmüller, Robert ; Nebel, Bernhard.

    ICAPS Proceedings of the 3rd Workshop on Distributed and Multi-Agent Planning (DMAP-2015). 2015. p. 68-76.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2015

  7. Published

    Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic. / Bolander, Thomas.

    Proceedings of the European Conference on Social Intelligence (ECSI-2014). ed. / Andreas Herzig; Emiliano Lorini. 2014. p. 87-107 (CEUR Workshop Proceedings; No. urn:nbn:de:0074-1283-4, Vol. 1283).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2014

  8. Published

    Epistemic and Doxastic Planning. / Jensen, Martin Holm; Bolander, Thomas (Main supervisor).

    Kgs. Lyngby : Technical University of Denmark, 2014. 184 p. (DTU Compute PHD-2014; No. 316).

    Publication: ResearchPh.D. thesis – Annual report year: 2014

  9. Published

    Bisimulation for Single-Agent Plausibility Models. / Andersen, Mikkel Birkegaard; Bolander, Thomas; van Ditmarsch, H.; Jensen, Martin Holm.

    AI 2013: Advances in Artificial Intelligence: 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. Springer, 2013. p. 277-288 (Lecture Notes in Computer Science, Vol. 8272).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  10. Published

    Undecidability in Epistemic Planning. / Aucher, Guillaume; Bolander, Thomas.

    Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. AAAI Press, 2013. p. 27-33.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

Previous 1 2 3 4 5 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word