Thomas Bolander

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

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

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

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

  7. 2010
  8. Published

    Hybrid Logical Analyses of the Ambient Calculus. / Bolander, Thomas; Hansen, Rene Rydhof.

    In: Information and Computation, Vol. 208, No. 5, 2010, p. 433-449.

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

  9. Published

    Preface. / Bolander, Thomas; Braüner, Torben.

    In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 1-2.

    Publication: ResearchConference article – Annual report year: 2011

  10. Published

    Proceedings of the 6th workshop on Methods for Modalities (M4M-6 2009), Copenhagen, Denmark 12-14 November 2009. / Bolander, Thomas (Editor); Braüner, Torben (Editor).

    In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 1-262.

    Publication: Research - peer-reviewConference abstract in journal – Annual report year: 2010

  11. Published

    Two approaches to termination and completeness of hybrid tableaus. / Bolander, Thomas.

    Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo) 2010. 2010.

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

  12. 2009
  13. Published

    Hybrid Logic: Dedicated to the Memory of Volker Weber. / Braüner, Torben (Editor); Bolander, Thomas (Editor).

    Springer Science+Business Media B.V., 2009. (Journal of Logic, Language and Information; No. 18(4)).

    Publication: Research - peer-reviewBook – Annual report year: 2009

  14. Published

    Logik, computere og kunstig intelligens. / Bolander, Thomas; Nilsson, Jørgen Fischer; Villadsen, Jørgen.

    Matematiske horisonter. Kgs. Lyngby : Technical University of Denmark, DTU Informatics, Building 321, 2009. p. 218-233.

    Publication: EducationBook chapter – Annual report year: 2009

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