Robert Mattmüller
6 papers · 2015–2020 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌉 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
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
State-Dependent Cost Partitionings for Cartesian Abstractions in Classical Planning
IJCAI 2016
Delete Relaxations for Planning with State-Dependent Action Costs
IJCAI 2015