Thomas Bolander

  1. 2016
  2. E-pub ahead of print

    Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. / Andersen, Mikkel Birkegaard; Bolander, Thomas; van Ditmarsch, Hans; Jensen, Martin Holm.

    In: Synthese, 2016.

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

  3. 2015
  4. 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

  5. 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

  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

    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

  8. Published

    Hvornår skal vi blive bange?. / Johansen, Mikkel W.; Bolander, Thomas.

    In: Weekendavisen. 2015 ; 43, 01 January 2015. p. 5.

    Publication: CommunicationNewspaper article – Annual report year: 2016

  9. 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

  10. Published

    Learning Actions Models: Qualitative Approach. / Bolander, Thomas; Gierasimczuk, Nina.

    Proceedings of the 5th International Workshop on Logic, Rationality, and Interaction (LORI 2015). ed. / Wiebe van der Hoek; Wesley H. Holliday; Wen-fang Wang. Springer, 2015. p. 40-52 (Lecture Notes in Computer Science, Vol. 9394).

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

  11. 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

  12. 2014
  13. 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

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