Robert Mattmüller
6 papers
· 2015–2020
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(5)
🐝
Cross-Pollinator
(14)
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🚀
Conference Pioneer
Conferences
IJCAI (4)
AAAI (2)
Top co-authors
Keywords
computational complexity
(2)
multi-agent system
(2)
ethical judgment
(1)
planning algorithm
(1)
planning task
(1)
classical planning
(1)
symbolic search
(1)
multi-agent path finding
(1)
optimal planning
(1)
plan cost
(1)
dynamic epistemic logic
(1)
action planning
(1)
machine ethics
(1)
action plan
(1)
implicit coordination
(1)
destination uncertainty
(1)
top-k planning
(1)
pspace-complete planning
(1)
game description language
(1)
plan evaluation
(1)
Papers
Symbolic Top-k Planning
AAAI 2020
Moral Permissibility of Action Plans
AAAI 2019