Thomas Bolander

  1. 2015
  2. 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

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

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

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

  6. 2014
  7. 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

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

  9. 2013
  10. Published

    A Seligman-Style Tableau System. / Blackburn, Patrick Rowan; Bolander, Thomas; Braüner, Torben; Jørgensen, Klaus Frovin.

    Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. Springer, 2013. p. 147-163.

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

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

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

  13. 2012
  14. Published

    Advances in Modal Logic : Volume 9. / Bolander, Thomas (Editor); Braüner, Torben (Editor); Ghilardi, Silvio (Editor); Moss, Lawrence (Editor).

    College Publications, 2012. 592 p.

    Publication: ResearchBook – Annual report year: 2012

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