Thomas Bolander

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

  3. Submitted

    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), 2014. 193 p. (DTU Compute PHD-2014; No. 351).

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

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

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

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

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

  10. Published

    Conditional Epistemic Planning. / Andersen, Mikkel Birkegaard; Bolander, Thomas; Jensen, Martin Holm.

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

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

  11. 2011
  12. Published

    CDIO Projects in DTU’s B.Eng. in IT Study Program. / Sparsø, Jens; Bolander, Thomas; Fischer, Paul; Hansen, Thomas Kjærgård; Høgh, Stig; Nyborg, Mads; Probst, Christian W.; Todirica, Edward Alexandru.

    Proceedings of the 7th International CDIO Conference, Technical University of Denmark, Copenhagen, June 20 - 23, 2011. Lyngby : Technical University of Denmark, 2011.

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

  13. Published

    Epistemic planning for single- and multi-agent systems. / Bolander, Thomas; Andersen, Mikkel Birkegaard.

    In: Journal of Applied Non-Classical Logics, Vol. 21, No. 1, 2011, p. 9-34.

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

  14. Published

    From Frustration to Success: A Case-Study in Advanced Design-Build Experiences. / Bolander, Thomas; Fischer, Paul; Hansen, Thomas Kjærgård.

    7th International CDIO Conference 2011. Technical University of Denmark, 2011.

    Publication: Research - peer-reviewConference abstract in proceedings – Annual report year: 2011

Previous 1 2 3 4 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word