Thorsten Engesser
4 papers · 2018–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(6)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(9)
Conferences
AAAI (2)
IJCAI (2)
Top co-authors
Keywords
multi-agent system
(3)
epistemic planning
(2)
implicit coordination
(2)
belief revision
(1)
planning task
(1)
multi-agent path finding
(1)
dynamic epistemic logic
(1)
false belief task
(1)
knowledge and belief
(1)
action language
(1)
doxastic logic
(1)
destination uncertainty
(1)
fully observable nondeterministic planning
(1)
game description language
(1)
possible world semantics
(1)
success guarantee
(1)
false-belief task
(1)
path planning
(1)
fond planning
(1)
decision theory
(1)
Papers
Towards Epistemic-Doxastic Planning with Observation and Revision
AAAI 2024
Implicit Coordination Using FOND Planning
AAAI 2020
Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract)
IJCAI 2019
Game Description Language and Dynamic Epistemic Logic Compared
IJCAI 2018