Thomas Bolander
Thomas Bolander
Bestätigte E-Mail-Adresse bei dtu.dk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Epistemic planning for single- and multi-agent systems
T Bolander, MB Andersen
Journal of Applied Non-Classical Logics 21 (1), 9-34, 2011
1472011
Termination for hybrid tableaus
T Bolander, P Blackburn
Journal of Logic and Computation 17 (3), 517-554, 2007
832007
Undecidability in epistemic planning
G Aucher, T Bolander
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
622013
Tableau-based decision procedures for hybrid logic
T Bolander, T Braüner
Journal of Logic and Computation 16 (6), 737-763, 2006
522006
Complexity results in epistemic planning
T Bolander, MH Jensen, F Schwarzentruber
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
392015
Conditional epistemic planning
MB Andersen, T Bolander, MH Jensen
European Workshop on Logics in Artificial Intelligence, 94-106, 2012
392012
Self-reference
T Bolander
372008
Cooperative epistemic multi-agent planning for implicit coordination
T Engesser, T Bolander, R Mattmüller, B Nebel
arXiv preprint arXiv:1703.02196, 2017
322017
Terminating tableau calculi for hybrid logics extending K
T Bolander, P Blackburn
Electronic Notes in Theoretical Computer Science 231, 21-39, 2009
302009
Self-reference and logic
T Bolander
Phi News 1, 9-44, 2002
292002
Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic
T Bolander
European Conference on Social Intelligence (ECSI 2014) 1283 (CEUR Workshop …, 2014
272014
Logical theories for agent introspection
T Bolander
IMM, Informatik og Matematisk Modellering, Danmarks Tekniske Universitet, 2003
272003
Self-reference
T Bolander, VF Hendricks, SA Pedersen
202006
Two tableau-based decision procedures for hybrid logic
T Bolander, T Braüner
Proceedings of M4M (Methods For Modalities) 4, 79-96, 2005
182005
Many-valued hybrid logic
JU Hansen, T Bolander, T Braüner
Journal of Logic and Computation 28 (5), 883-908, 2018
16*2018
Decidability of a hybrid duration calculus
T Bolander, JU Hansen, MR Hansen
Electronic Notes in Theoretical Computer Science 174 (6), 113-133, 2007
162007
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
152018
Announcements to attentive agents
T Bolander, H Van Ditmarsch, A Herzig, E Lorini, P Pardo, ...
Journal of Logic, Language and Information 25 (1), 1-35, 2016
152016
Epistemic planning (Dagstuhl seminar 17231)
C Baral, T Bolander, H van Ditmarsch, S McIlrath
Dagstuhl Reports 7 (6), 2017
142017
Don't plan for the unexpected: Planning based on plausibility models
MB Andersen, T Bolander, MH Jensen
Logique et Analyse 58 (230), 145-176, 2015
142015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20