Thomas Bolander
- 2012
- 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: Research › Book – Annual report year: 2012
- Published
Conditional Epistemic Planning. / Andersen, Mikkel Birkegaard; Bolander, Thomas; Jensen, Martin Holm.
In: 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-review › Article in proceedings – Annual report year: 2012
- 2011
- 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-review › Journal article – Annual report year: 2010
- 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.
In: 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-review › Article in proceedings – Annual report year: 2011
- Published
From Frustration to Success: A Case-Study in Advanced Design-Build Experiences. / Bolander, Thomas; Fischer, Paul; Hansen, Thomas Kjærgård.
In: 7th International CDIO Conference 2011. Technical University of Denmark, 2011.Publication: Research - peer-review › Conference abstract in proceedings – Annual report year: 2011
- 2010
- 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-review › Conference article – Annual report year: 2010
- Published
Preface. / Bolander, Thomas; Braüner, Torben.
In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 1-2.Publication: Research › Conference article – Annual report year: 2011
- 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-review › Conference abstract in journal – Annual report year: 2010
- Published
Two approaches to termination and completeness of hybrid tableaus. / Bolander, Thomas.
In: Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo) 2010. 2010.Publication: Research - peer-review › Article in proceedings – Annual report year: 2010
- 2009
- Published
Terminating Tableau Calculi for Hybrid Logics extending K. / Bolander, Thomas; Blackburn, Patrick.
In: Electronical Notes in Theoretical Computer Science, Vol. 231, No. 25 March 2009, 2009, p. 21-39.Publication: Research - peer-review › Conference article – Annual report year: 2009