Thomas Bolander

1 - 34 out of 34Page size: 100
RSS feed of this list
Sort by: Publication year
  1. 2012
  2. 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

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

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

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

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

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

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

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

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

  13. 2009
  14. 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-review › Book – Annual report year: 2009

  15. Published

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

    In: Matematiske horisonter. Kgs. Lyngby : DTU Informatics, Building 321, 2009. p. 218-233.

    Publication: Education › Book chapter – Annual report year: 2009

  16. Published

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

    In: Journal of Logic, Language and Information, Vol. 18, No. 4, 2009, p. 435-436.

    Publication: Research - peer-review › Editorial – Annual report year: 2009

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

  18. 2008
  19. Published

    Many-Valued Hybrid Logic. / Hansen, Jens Ulrik; Bolander, Thomas; Braüner, Torben.

    In: Advances in Modal Logic. Vol. 7 College Publications, 2008. p. 111-132.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

  20. Published

    Self-reference. / Bolander, Thomas.

    In: Stanford Encyclopedia of Philsophy. CSLI Publications/Center for the Study of Language & Information, 2008.

    Publication: Research - peer-review › Book chapter – Annual report year: 2008

  21. 2007
  22. Published

    Decidability of a Hybrid Duration Calculus. / Bolander, Thomas; Hansen, Michael Reichhardt; Hansen, Jens Ulrik.

    In: Electronic Notes in Theoretical Computer Science, Vol. 174, 2007, p. 113-133.

    Publication: Research - peer-review › Conference article – Annual report year: 2007

  23. Published

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

    In: Logic, Language, Information and Computation, Proceedings. Springer, 2007. p. 83-100 (Lecture Notes in Computer Science, Vol. 4576 ).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

  24. Published

    Preface : For the proceedings of the International Workshop on Hybrid Logic 2006 (HyLo). / Blackburn, P.; Bolander, Thomas; Braüner, T.; de Paiva, V.; Villadsen, Jørgen.

    In: Electronic Notes in Theoretical Computer Science, Vol. 174, No. 6, 2007, p. 1–2.

    Publication: Research - peer-review › Editorial – Annual report year: 2007

  25. Published

    Proceedings of the International Workshop on Hybrid Logic (HyLo 2006). / Blackburn, Patrick (Editor); Bolander, Thomas (Editor); Braüner, Torben (Editor); de Paiva, Valeria (Editor); Villadsen, Jørgen (Editor).

    Elsevier, 2007. (Electronic Notes in Theoretical Computer Science; No. 174).

    Publication: Research - peer-review › Book – Annual report year: 2007

  26. Published

    Proceedings of the International Workshop on Hybrid Logic (HyLo 2007). / Villadsen, Jørgen (Editor); Bolander, Thomas (Editor); Braüner, Torben (Editor).

    Trinity College Dublin, 2007. 90 p. (19th European Summer School in Logic, Language and Information (ESSLLI 2007)).

    Publication: Research - peer-review › Book – Annual report year: 2007

  27. Published

    Termination for Hybrid Tableaus. / Bolander, Thomas; Blackburn, Patrick.

    In: Journal of Logic and Computation, Vol. 17, No. 3, 2007, p. 517-554.

    Publication: Research - peer-review › Journal article – Annual report year: 2007

  28. 2006
  29. Published

    Introduction to self-reference. / Bolander, Thomas.

    In: Self-Reference. Stanford : CSLI Publications, 2006.

    Publication: Research - peer-review › Book chapter – Annual report year: 2006

  30. Published

    Proceedings of the International Workshop on Hybrid Logic : Federated Logic Conference, Seattle, USA. / Blackburn, Patrick (Editor); Bolander, Thomas (Editor); Braüner, Torben (Editor); de Paiva, Valeria (Editor); Villadsen, Jørgen (Editor).

    Federated Logic Conference, Seattle, USA, 2006.

    Publication: Research - peer-review › Book – Annual report year: 2006

  31. Published

    Self-Reference. / Bolander, Thomas; Hendricks, Vincent F. (Editor); Pedersen, Stig Andur (Editor).

    CSLI Publications, 2006.

    Publication: Research - peer-review › Book – Annual report year: 2006

  32. Published

    Tableau-Based Decision Procedures for Hybrid Logic. / Bolander, Thomas; Braüner, Torben.

    In: Journal of Logic and Computation, Vol. 16, 2006, p. 737-763.

    Publication: Research - peer-review › Journal article – Annual report year: 2006

  33. 2005
  34. Published

    Two Tableau-Based Decision Procedures for Hybrid Logic. / Bolander, Thomas; Braüner, Torben.

    In: Proocedings of Methods for Modalitites 4. 2005. p. 79-96.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2005

  35. 2004
  36. Published

    Logical Theories for Agent Introspection. / Bolander, Thomas; Nilsson, Jørgen Fischer (Supervisor); Jensen, Helge Elbrønd (Supervisor).

    2004.

    Publication: Research › Ph.d. thesis – Annual report year: 2004

  37. Published

    Chapter 7 of the ESGI 04 (European Study Group with Industry) report on the LEGO Digital Designer problem. / Bolander, Thomas; Fischer, Paul.

    Department of Mathematics, Technical University of Denmark, 2004.

    Publication: Research - peer-review › Report – Annual report year: 2004

  38. 2003
  39. Published

    From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief. / Bolander, Thomas.

    In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, 2003.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2003

  40. 2002
  41. Published

    Maximal Introspection of Agents. / Bolander, Thomas.

    In: Electronic Notes in Theoretical Computer Science, Vol. 70, No. 5, 2002, p. 1-16.

    Publication: Research - peer-review › Journal article – Annual report year: 2002

  42. Published

    Om Gödels sætning. / Jensen, Helge Elbrønd; Bolander, Thomas.

    2002.

    Publication: Research - peer-review › Report – Annual report year: 2002

  43. Published

    Om Gödels sætning. / Bolander, Thomas; Jensen, Helge Elbrønd.

    In: Normat, Vol. 50, No. 1, 2002, p. 15-29.

    Publication: Research - peer-review › Journal article – Annual report year: 2002

  44. Published

    Restricted Truth Predicates in First-Order Logic. / Bolander, Thomas.

    In: The LOGICA 2002 Yearbook. Filosofia, Prague, 2002.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2002

  45. Published

    Self-Reference and Logic. / Bolander, Thomas.

    In: Phi News, Vol. 1, 2002, p. 9-44.

    Publication: Research - peer-review › Journal article – Annual report year: 2002

Anker Engelunds Vej 1Building 101A2800 Kgs. LyngbyTel +45 45 25 25 25VAT 30 06 09 46EAN