| Epistemic planning for single- and multi-agent systems T Bolander, MB Andersen Journal of Applied Non-Classical Logics 21 (1), 9-34, 2011 | 312 | 2011 |
| Undecidability in epistemic planning G Aucher, T Bolander INRIA, 2013 | 115 | 2013 |
| What do we loose when machines take the decisions? T Bolander Journal of Management and Governance 23, 849-867, 2019 | 102 | 2019 |
| Termination for hybrid tableaus T Bolander, P Blackburn Journal of Logic and Computation 17 (3), 517-554, 2007 | 99 | 2007 |
| Cooperative epistemic multi-agent planning for implicit coordination T Engesser, T Bolander, R Mattmüller, B Nebel arXiv preprint arXiv:1703.02196, 2017 | 89 | 2017 |
| Complexity results in epistemic planning T Bolander, MH Jensen, F Schwarzentruber 24th International Joint Conference on Artificial Intelligence, 2791-2797, 2015 | 89 | 2015 |
| Self-reference T Bolander | 82 | 2008 |
| A gentle introduction to epistemic planning: The DEL approach T Bolander arXiv preprint arXiv:1703.02192, 2017 | 62 | 2017 |
| Conditional epistemic planning MB Andersen, T Bolander, MH Jensen European Workshop on Logics in Artificial Intelligence, 94-106, 2012 | 60 | 2012 |
| Tableau-based decision procedures for hybrid logic T Bolander, T Braüner Journal of Logic and Computation 16 (6), 737-763, 2006 | 59 | 2006 |
| Implementing theory of mind on a robot using dynamic epistemic logic LD Hansen, T Bolander Twenty-Ninth International Joint Conference on Artificial Intelligence, 1615 …, 2020 | 56 | 2020 |
| Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic T Bolander European Conference on Social Intelligence (ECSI 2014) 1283 (CEUR Workshop …, 2014 | 52 | 2014 |
| Epistemic planning (Dagstuhl seminar 17231) C Baral, T Bolander, H van Ditmarsch, S McIlrath Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2017 | 42 | 2017 |
| Seeing is believing: Formalising false-belief tasks in dynamic epistemic logic T Bolander Jaakko Hintikka on knowledge and game-theoretical semantics, 207-236, 2018 | 40 | 2018 |
| Self-reference and logic T Bolander Phi News 1 (9), 44, 2002 | 40 | 2002 |
| DEL-based epistemic planning: Decidability and complexity T Bolander, T Charrier, S Pinchinat, F Schwarzentruber Artificial Intelligence 287, 103304, 2020 | 38 | 2020 |
| Terminating tableau calculi for hybrid logics extending K T Bolander, P Blackburn Electronic Notes in Theoretical Computer Science 231, 21-39, 2009 | 35 | 2009 |
| Logical theories for agent introspection T Bolander DTU Compute, 2003 | 35 | 2003 |
| Better eager than lazy? How agent types impact the successfulness of implicit coordination T Bolander, T Engesser, R Mattmüller, B Nebel Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 34 | 2018 |
| Announcements to attentive agents T Bolander, H Van Ditmarsch, A Herzig, E Lorini, P Pardo, ... Journal of Logic, Language and Information 25, 1-35, 2016 | 34 | 2016 |
Patrick BlackburnProfessor of Philosophy, Roskilde University, Denmarkruc.dk의 이메일 확인됨