Bernhard Nebel
7 papers · 2013–2023 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
๐ Cross-Pollinator (14) ๐ Conference Polyglot (2) ๐ Academic Marathon (10) ๐ Renaissance Researcher (5) ๐ Interdisciplinary Bridge
๐บ๏ธ
Taxonomy Completionist
(10)
๐งญ
Keyword Pioneer
๐ฃ
Hot Topic Early Bird
๐
Conference Pioneer
Conferences
AAAI (4)
IJCAI (3)
Top co-authors
Keywords
computational complexity
(2)
multi-agent system
(2)
automated planning
(2)
collision avoidance
(1)
planning algorithm
(1)
sat solver
(1)
planning task
(1)
classical planning
(1)
symbolic search
(1)
state constraint
(1)
multi-agent path finding
(1)
description logic
(1)
multi-agent pathfinding
(1)
optimal planning
(1)
sat solving
(1)
plan cost
(1)
dynamic epistemic logic
(1)
ai planning
(1)
action planning
(1)
machine ethics
(1)
Papers
The Multi-Agent Transportation Problem
AAAI 2023
Expressivity of Planning with Horn Description Logic Ontologies
AAAI 2022
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
Transition Constraints: A Study on the Computational Complexity of Qualitative Change
IJCAI 2013