Thomas Bolander

2024

Learning to Act and Observe in Partially Observable Domains

Bolander, T., Gierasimczuk, N. & Occhipinti Liberman, A., 2024, Dick de Jongh on Intuitionistic and Provability Logics . Springer, Vol. 28. p. 303-351 (Outstanding Contributions to Logic, Vol. 28).

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

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

Epistemic planning: Perspectives on the special issue

Belle, V., Bolander, T., Herzig, A. & Nebel, B., 2023, In: Artificial Intelligence. 316, 10 p., 103842.

Research output: Contribution to journal › Journal article › Research › peer-review

File

61 Downloads (Orbit)

2022

Parameterized Complexity of Dynamic Belief Updates: A Complete Map

Bolander, T. & Lequen, A., 2022, In: Journal of Logic and Computation. 31 p.

Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

File

101 Downloads (Orbit)

2021

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

Bolander, T., Hansen, L. D. & Herrmann, N., 2021, Proceedings of the 18^th 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 35^th 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

DEL-based epistemic planning: Decidability and complexity

Bolander, T., Charrier, T., Pinchinat, S. & Schwarzentruber, F., Oct 2020, In: Artificial Intelligence. 287, 34 p., 103304.

Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

File

141 Downloads (Orbit)

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)

Kompetencer - forskning og uddannelse: SIRI-Kommissionens bud på, hvordan Danmark bedst udnytter mulighederne i AI og digitalisering

Bolander, T., 2020, Hvad skal vi med AI? : SIRI-Kommissionens bud på, hvordan Danmark bedst udnytter mulighederne i AI og digitalisering. IDA for Siri Kommissionen, p. 7-12

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Communication

Open Access

File

98 Downloads (Orbit)

Kunstig intelligens kræver gensidig forståelse mellem menneske og maskine

Bolander, T., 2020, In: Ugeskrift for Laeger. 182, 34

Research output: Contribution to journal › Journal article › Communication

Parameterized Complexity of Dynamic Belief Updates

Bolander, T. & Lequen, A., 2020, Dynamic Logic. New Trends and Applications . Springer, p. 87-102 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12569).

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

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

AI, MEDIER OG DEMOKRATI: Sådan styrker vi vores demokratiske immunforsvar

Knudsen, L., Werge, L., Blaagaard, C., Albrechtsen, T., Bechmann, A., Kürstein, B., Petersen, T. D., Hvid, A., Ploug, T., Bolander, T., Bodskov, H., Simonsen, K., Munk, G. & Langhorn, A., 2019, IDA for Siri Kommissionen. 25 p.

Research output: Book/Report › Report › Commissioned

Open Access

File

1146 Downloads (Orbit)

Diskret matematik

Bolander, T., 2019, Teknisk Matematik. Nyt Teknisk Forlag, Vol. 3. p. 169-214

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Education

Human vs machine intelligence: How they differ and what this implies for our future society

Bolander, T., 2019, In: Journal of Pragmatic Constructism. 9, 1, p. 25-30

Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

File

372 Downloads (Orbit)

Hvordan ser fremtiden ud med kunstig intelligens?

Bolander, T., 2019, Informations Forlag. 82 p.

Research output: Book/Report › Book › Communication

Implicitly coordinated multi-agent path finding under destination uncertainty: Success guarantees and computational complexity

Nebel, B., Bolander, T., Engesser, T. & Mattmüller, R., 2019, In: Journal of Artificial Intelligence Research. 64, p. 497-527

Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

File

289 Downloads (Orbit)

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., Mattmü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)

What do we lose when machines take the decisions?

Bolander, T., 1 Dec 2019, In: Journal of Management & Governance. 23, 4, p. 849-867

Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

File

655 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 16^th 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)

Many-valued hybrid logic

Hansen, J. U., Bolander, T. & Braüner, T., 2018, In: Journal of Logic and Computation. 28, 5, p. 883-908

Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

File

232 Downloads (Orbit)

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

Bolander, T., 2018, Jaakko Hintikka on Knowledge and Game-Theoretical Semantics. Springer, Vol. 12. p. 207-236 (Outstanding Contributions to Logic, Vol. 12).

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

2017

A gentle introduction to epistemic planning: The DEL approach

Bolander, T., 2017, In: Electronic Proceedings in Theoretical Computer Science. 243, p. 1-22

Research output: Contribution to journal › Conference article › Research › peer-review

Open Access

File

505 Downloads (Orbit)

Cooperative epistemic multi-agent planning for implicit coordination

Engesser, T., Bolander, T., Mattmüller, R. & Nebel, B., 2017, In: Electronic Proceedings in Theoretical Computer Science. 243, p. 75-90

Research output: Contribution to journal › Conference article › Research › peer-review

Open Access

File

372 Downloads (Orbit)

Epistemic Planning: (Dagstuhl Seminar 17231)

Baral, C., Bolander, T., van Ditmarsch, H. & McIlraith, S., 2017, Schloß Dagstuhl. 47 p. (Dagstuhl Reports; No. 06, Vol. 7).

Research output: Book/Report › Report › Research › peer-review

Open Access

File

394 Downloads (Orbit)

Learning to Act: Qualitative Learning of Deterministic Action Models

Bolander, T. & Gierasimczuk, N., 2017, In: Journal of Logic and Computation. 28, 2, p. 337-365

Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

File

401 Downloads (Orbit)

2016

Announcements to Attentive Agents

Bolander, T., van Ditmarsch, H., Herzig, A., Lorini, E., Pardo, P. & Schwarzentruber, F., 2016, In: Journal of Logic, Language and Information. 25, 1, p. 1-35

Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

File

455 Downloads (Orbit)

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)

Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief

Andersen, M. B., Bolander, T., van Ditmarsch, H. & Jensen, M. H., 2016, In: Synthese. 194, 7, p. 2447-2487

Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

File

363 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

Completeness and Termination for a Seligman-style Tableau System

Blackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F., 2015, In: Journal of Logic and Computation. 27, 1, p. 81-107

Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

File

562 Downloads (Orbit)

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)

Don't Plan for the Unexpected: Planning Based on Plausibility Models

Andersen, M. B., Bolander, T. & Jensen, M. H., 2015, In: Logique et Analyse. 58, 230, p. 145-176

Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

File

270 Downloads (Orbit)

Hvornår skal vi blive bange?

Johansen, M. W. & Bolander, T., 2015, In: Weekendavisen. 43, p. 5

Research output: Contribution to journal › Contribution to newspaper - Newspaper article

Kursusudvikling gennem systematisk evaluering

Bolander, T., 2015, Universitetspædagogiske praksisser. Jørgensen, P. S. & Rienecker , L. (eds.). Samfundslitteratur, p. 283-300

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

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

Advances in Modal Logic: Volume 9

Bolander, T. (Editor), Braüner, T. (Editor), Ghilardi, S. (Editor) & Moss, L. (Editor), 2012, College Publications. 592 p.

Research output: Book/Report › Book › Research

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)

Epistemic planning for single- and multi-agent systems

Bolander, T. & Andersen, M. B., 2011, In: Journal of Applied Non-Classical Logics. 21, 1, p. 9-34

Research output: Contribution to journal › Journal article › Research › peer-review

From Frustration to Success: A Case-Study in Advanced Design-Build Experiences

Bolander, T., Fischer, P. & Hansen, T. K., 2011, 7th International CDIO Conference 2011. Technical University of Denmark

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

2010

Hybrid Logical Analyses of the Ambient Calculus

Bolander, T. & Hansen, R. R., 2010, In: Information and Computation. 208, 5, p. 433-449

Research output: Contribution to journal › Conference article › Research › peer-review

Preface

Bolander, T. & Braüner, T., 2010, In: Electronic Notes in Theoretical Computer Science. 262, p. 1-2

Research output: Contribution to journal › Conference article › Research

1 Downloads (Orbit)

Proceedings of the 6th workshop on Methods for Modalities (M4M-6 2009), Copenhagen, Denmark 12-14 November 2009

Bolander, T. (Editor) & Braüner, T. (Editor), 2010, In: Electronic Notes in Theoretical Computer Science. 262, p. 1-262

Research output: Contribution to journal › Conference abstract in journal › Research › peer-review

Thomas Bolander

Publications

Search results