Thomas Bolander

View Scopus Profile

Thomas Bolander

PhD

 https://orcid.org/0000-0003-1551-1703

  • Richard Petersens Plads, 322, 022

    2800 Kgs. Lyngby

    Denmark

Filter
Article in proceedings

Search results

  • 2023

    Attention! Dynamic Epistemic Logic Models of (In)attentive Agents

    Belardinelli, G. & Bolander, T., 2023, Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems. Association of Computing Machinery, p. 391-399

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2021

    DEL-based Epistemic Planning for Human-Robot Collaboration: Theory and Implementation

    Bolander, T., Hansen, L. D. & Herrmann, N., 2021, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conferences on Artificial Intelligence Organization, p. 120–129

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    108 Downloads (Orbit)

  • Planning from Pixels in Atari with Learned Symbolic Representations

    Dittadi, A., Drachmann, F. K. & Bolander, T., 2021, Proceedings of 35th AAAI Conference on Artificial Intelligence . Association for the Advancement of Artificial Intelligence, p. 4941-4949

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    113 Downloads (Orbit)
  • 2020

    Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic

    Hansen, L. D. & Bolander, T., 2020, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence Organization, p. 1615-1621

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    667 Downloads (Orbit)

  • Synthesizing human-friendly optimal strategies in board games

    Bolander, T. & Pjetursson, J., 2020, Proceedings of 2020 IEEE Conference on Games. IEEE, p. 112-119

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    153 Downloads (Orbit)
  • 2019

    Learning to Plan from Raw Data in Grid-based Games

    Dittadi, A., Bolander, T. & Winther, O., 2019, Proceedings of 4th Global Conference on Artificial Intelligence. p. 54–67 (EPiC Series in Computing, Vol. 55).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    163 Downloads (Orbit)

  • The Dynamic Logic of Policies and Contingent Planning

    Bolander, T., Engesser, T., Herzig, A., Mattmüller, R. & Nebel, B., 2019, Proceedings of European Conference on Logics in Artificial Intelligence. Springer, p. 659-74 (Lecture Notes in Computer Science, Vol. 11468).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    61 Downloads (Orbit)
  • 2018

    Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination

    Bolander, T., Engesser, T., Mattmüller, R. & Nebel, B., 2018, Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning. Association for the Advancement of Artificial Intelligence, p. 445-453

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    19 Downloads (Orbit)
  • 2016

    Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination

    Bolander, T., Engesser, T., Mattmüller, R. & Nebel, B., 2016, Proceedings of the 4th Workshop on Distributed and Multi-Agent Planning (DMAP-16): The 26th International Conference on Automated Planning and Scheduling, ICAPS 2016 - London. Komenda, A. & Shani, G. (eds.). p. 42-49

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    299 Downloads (Orbit)

  • Synthetic Completeness Proofs for Seligman-style Tableau Systems

    Jørgensen, K. F., Blackburn, P. R., Bolander, T. & Braüner, T., 2016, Proceedings of Advances in Modal Logic (AiML 2016). College Publications, 20 p. (Advances in Modal Logic, Vol. 11).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    264 Downloads (Orbit)
  • 2015

    Complexity Results in Epistemic Planning

    Bolander, T., Jensen, M. H. & Schwarzentruber, F., 2015, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). Yang, Q. & Wooldridge, M. (eds.). AAAI Press, p. 2791-2797

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    249 Downloads (Orbit)

  • Cooperative Epistemic Multi-Agent Planning With Implicit Coordination

    Engesser, T., Bolander, T., Mattmüller, R. & Nebel, B., 2015, ICAPS Proceedings of the 3rd Workshop on Distributed and Multi-Agent Planning (DMAP-2015). p. 68-76

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    360 Downloads (Orbit)

  • Learning Actions Models: Qualitative Approach

    Bolander, T. & Gierasimczuk, N., 2015, Proceedings of the 5th International Workshop on Logic, Rationality, and Interaction (LORI 2015). van der Hoek, W., Holliday, W. H. & Wang, W.-F. (eds.). Springer, p. 40-52 (Lecture Notes in Computer Science, Vol. 9394).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    585 Downloads (Orbit)
  • 2014

    Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic

    Bolander, T., 2014, Proceedings of the European Conference on Social Intelligence (ECSI-2014). Herzig, A. & Lorini, E. (eds.). p. 87-107 (CEUR Workshop Proceedings; No. urn:nbn:de:0074-1283-4, Vol. 1283).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    563 Downloads (Orbit)
  • 2013

    A Seligman-Style Tableau System

    Blackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F., 2013, Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. Springer, p. 147-163

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Bisimulation for Single-Agent Plausibility Models

    Andersen, M. B., Bolander, T., van Ditmarsch, H. & Jensen, M. H., 2013, AI 2013: Advances in Artificial Intelligence: 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. Springer, p. 277-288 (Lecture Notes in Computer Science, Vol. 8272).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Undecidability in Epistemic Planning

    Aucher, G. & Bolander, T., 2013, Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. AAAI Press, p. 27-33

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    195 Downloads (Orbit)
  • 2012

    Conditional Epistemic Planning

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

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2011

    CDIO Projects in DTU’s B.Eng. in IT Study Program

    Sparsø, J., Bolander, T., Fischer, P., Hansen, T. K., Høgh, S., Nyborg, M., Probst, C. W. & Todirica, E. A., 2011, Proceedings of the 7th International CDIO Conference, Technical University of Denmark, Copenhagen, June 20 - 23, 2011. Lyngby: Technical University of Denmark

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    529 Downloads (Orbit)
  • 2010

    Two approaches to termination and completeness of hybrid tableaus

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

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2008

    Many-Valued Hybrid Logic

    Hansen, J. U., Bolander, T. & Braüner, T., 2008, Advances in Modal Logic. College Publications, Vol. 7. p. 111-132 406 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2007

    Hybrid Logical Analyses of the Ambient Calculus

    Bolander, T. & Hansen, R. R., 2007, Logic, Language, Information and Computation, Proceedings. Springer, p. 83-100 (Lecture Notes in Computer Science, Vol. 4576 ).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2005

    Two Tableau-Based Decision Procedures for Hybrid Logic

    Bolander, T. & Braüner, T., 2005, Proocedings of Methods for Modalitites 4. p. 79-96

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2002

    Restricted Truth Predicates in First-Order Logic

    Bolander, T., 2002, The LOGICA 2002 Yearbook. Filosofia, Prague, p. 41-55

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review