Obserwuj
Thomas Bolander
Tytuł
Cytowane przez
Cytowane przez
Rok
Epistemic planning for single- and multi-agent systems
T Bolander, MB Andersen
Journal of Applied Non-Classical Logics 21 (1), 9-34, 2011
3152011
Undecidability in epistemic planning
G Aucher, T Bolander
INRIA, 2013
1152013
What do we loose when machines take the decisions?
T Bolander
Journal of Management and Governance 23, 849-867, 2019
1122019
Self-reference
T Bolander
1002008
Termination for hybrid tableaus
T Bolander, P Blackburn
Journal of Logic and Computation 17 (3), 517-554, 2007
992007
Cooperative epistemic multi-agent planning for implicit coordination
T Engesser, T Bolander, R Mattmüller, B Nebel
arXiv preprint arXiv:1703.02196, 2017
912017
Complexity results in epistemic planning
T Bolander, MH Jensen, F Schwarzentruber
24th International Joint Conference on Artificial Intelligence, 2791-2797, 2015
872015
A gentle introduction to epistemic planning: The DEL approach
T Bolander
arXiv preprint arXiv:1703.02192, 2017
622017
Tableau-based decision procedures for hybrid logic
T Bolander, T Braüner
Journal of Logic and Computation 16 (6), 737-763, 2006
612006
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
602020
Conditional epistemic planning
MB Andersen, T Bolander, MH Jensen
European Workshop on Logics in Artificial Intelligence, 94-106, 2012
602012
Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic
T Bolander
European Conference on Social Intelligence (ECSI 2014) 1283 (CEUR Workshop …, 2014
532014
Seeing is believing: Formalising false-belief tasks in dynamic epistemic logic
T Bolander
Jaakko Hintikka on knowledge and game-theoretical semantics, 207-236, 2018
432018
Epistemic planning (Dagstuhl seminar 17231)
C Baral, T Bolander, H van Ditmarsch, S McIlrath
Dagstuhl Reports 7 (6), 1-47, 2017
422017
Self-reference and logic
T Bolander
Phi News 1, 9-44, 2002
412002
DEL-based epistemic planning: Decidability and complexity
T Bolander, T Charrier, S Pinchinat, F Schwarzentruber
Artificial Intelligence 287, 103304, 2020
392020
Terminating tableau calculi for hybrid logics extending K
T Bolander, P Blackburn
Electronic Notes in Theoretical Computer Science 231, 21-39, 2009
372009
Logical theories for agent introspection
T Bolander
DTU Compute, 2003
362003
Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination.
T Bolander, T Engesser, R Mattmüller, B Nebel
KR, 445-453, 2018
352018
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
332016
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20