Thomas Bolander
#139,168
Most Influential Person Now
Researcher
Thomas Bolander's AcademicInfluence.com Rankings
Thomas Bolandercomputer-science Degrees
Computer Science
#8645
World Rank
#9090
Historical Rank
Artificial Intelligence
#3903
World Rank
#3960
Historical Rank
Machine Learning
#5836
World Rank
#5923
Historical Rank
Database
#9768
World Rank
#10340
Historical Rank
Download Badge
Computer Science
Thomas Bolander's Degrees
- PhD Computer Science Aalborg University
- Masters Computer Science Aalborg University
- Bachelors Computer Science Aalborg University
Similar Degrees You Can Earn
Why Is Thomas Bolander Influential?
(Suggest an Edit or Addition)According to Wikipedia, Thomas Bolander is a Danish professor at DTU Compute, Technical University of Denmark, where he studies logic and artificial intelligence. Most of his studies focus on the social aspect of artificial intelligence, and how we can make future AI able to navigate in social interactions. Thomas Bolander also sits in different commissions, expert panels and boards, among these he is a member of the Siri Commission, the TeckDK Commission, a member of the editorial board of the journal Studia Logica and co-organizer of Science and Cocktails.
Thomas Bolander's Published Works
Published Works
- Epistemic planning for single- and multi-agent systems (2011) (211)
- Termination for Hybrid Tableaus (2007) (77)
- Undecidability in Epistemic Planning (2013) (74)
- Cooperative Epistemic Multi-Agent Planning for Implicit Coordination (2017) (60)
- Complexity Results in Epistemic Planning (2015) (54)
- Conditional Epistemic Planning (2012) (52)
- Tableau-based Decision Procedures for Hybrid Logic (2006) (52)
- Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic (2014) (46)
- A Gentle Introduction to Epistemic Planning: The DEL Approach (2017) (36)
- Terminating Tableau Calculi for Hybrid Logics Extending K (2009) (28)
- Logical Theories for Agent Introspection (2004) (27)
- Epistemic Planning (Dagstuhl Seminar 17231) (2017) (24)
- Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination (2018) (22)
- What do we loose when machines take the decisions? (2019) (21)
- Announcements to Attentive Agents (2016) (20)
- Don't Plan for the Unexpected: Planning Based on Plausibility Models (2015) (19)
- Self-reference and Logic (2002) (17)
- Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (2019) (16)
- Learning Actions Models: Qualitative Approach (2015) (14)
- DEL-based epistemic planning: Decidability and complexity (2020) (14)
- Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic (2020) (14)
- Decidability of a Hybrid Duration Calculus (2007) (13)
- Planning From Pixels in Atari With Learned Symbolic Representations (2020) (12)
- Epistemic and Doxastic Planning (2014) (11)
- Many-valued hybrid logic (2018) (11)
- Learning to act: qualitative learning of deterministic action models (2018) (10)
- Completeness and termination for a Seligman-style tableau system (2015) (7)
- Restricted truth predicates in first-order logic (2002) (7)
- CDIO Projects in DTU’s B.Eng. in IT Study Program (2011) (7)
- DEL-based Epistemic Planning for Human-Robot Collaboration: Theory and Implementation (2021) (7)
- Bisimulation for Single-Agent Plausibility Models (2013) (6)
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief (2015) (6)
- Learning to Plan from Raw Data in Grid-based Games (2018) (5)
- Towards Theory-of-Mind agents using Automated Planning and Dynamic Epistemic Logic (2015) (5)
- The Dynamic Logic of Policies and Contingent Planning (2019) (5)
- From Frustration to Success: A Case-Study in Advanced Design-Build Experiences (2011) (5)
- Synthetic completeness proofs for Seligman-style tableau systems (2016) (4)
- Maximal Introspection of Agents (2002) (4)
- New Results - Inference Methods for Hybrid Logics (2006) (3)
- A Seligman-Style Tableau System (2013) (3)
- From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief (2003) (3)
- Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009 (2010) (3)
- Human vs machine intelligence: How they differ and what this implies for our future society (2019) (2)
- Correction to: What do we lose when machines take the decisions? (2020) (2)
- Advances in Modal Logic 9 (2012) (2)
- Proceedings of the International Workshop on Hybrid Logic (HyLo 2006) (2007) (2)
- AI, MEDIER OG DEMOKRATI: Sådan styrker vi vores demokratiske immunforsvar (2019) (1)
- Hybrid logical analyses of the ambient calculus (2010) (1)
- Advances in Modal Logic: Volume 9 (2012) (1)
- Preliminary proceedings of the 6th Workshop on Methods for Modalities (M4M-6) (2009) (1)
- Attention! Dynamic Epistemic Logic Models of (In)attentive Agents (2023) (0)
- TechDK rapport 1: Økonomi (2019) (0)
- HYBRID LOGIC: Dedicated to the Memory of Volker Weber (2009) (0)
- Correction to: What do we lose when machines take the decisions? (2020) (0)
- A TABLEAU SYSTEM FOR A FIRST-ORDER HYBRID LOGIC (2007) (0)
- 2 Attention-Based Announcement Logic ABAL (2016) (0)
- Learning to Act and Observe in Partially Observable Domains (2021) (0)
- Proceedings of the International Workshop on Hybrid Logic 2006: Preface (2007) (0)
- Epistemic planning: Perspectives on the special issue (2022) (0)
- Preface (2003) (0)
- The Curse of Shared Knowledge: Recursive Belief Reasoning in a Coordination Game with Imperfect Information (2020) (0)
- Synthesizing human-friendly optimal strategies in board games (2020) (0)
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief (2016) (0)
- Chapter 7 of the ESGI 04 (European Study Group with Industry) report on the LEGO Digital Designer problem (2004) (0)
- Om Gödels sætning (2002) (0)
- Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo 2010) (2011) (0)
- Announcements to Attentive Agents (2015) (0)
- An introduction to Bolander , Hendricks , Pedersen ( eds . ) : Self-Reference CSLI Publications 2006 (2007) (0)
- Proceedings of the International Workshop on Hybrid Logic and Applications 2010: Preface (2011) (0)
- Potential contribution of biogas technology on the firewood demand of a peasant family in West Africa. (1993) (0)
- Kursusudvikling gennem systematisk evaluering (2015) (0)
- System description for DART (Decision Analysis for Remediation Technologies) (1997) (0)
- TechDK Kommisionens 2. rapport: Demokrati (2020) (0)
- Hvornår skal vi blive bange (2015) (0)
- Complexityresultsinepistemicplanning(IJCAI-15) (2014) (0)
- [Kunstig intelligens kræver gensidig forståelse mellem menneske og maskine]. (2020) (0)
- Parameterized Complexity of Dynamic Belief Updates (2020) (0)
This paper list is powered by the following services:
Other Resources About Thomas Bolander
What Schools Are Affiliated With Thomas Bolander?
Thomas Bolander is affiliated with the following schools: